DOI,IST REx ID,Research Group,Title of publication
10.1145/2362355.2362357,494,ToHe,"Translating to Co-Büchi made tight, unified, and useful"