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