_id,doi,title
494,10.1145/2362355.2362357,"Translating to Co-Büchi made tight, unified, and useful"