Co-ing Büchi Made Tight and Useful | IEEE Conference Publication | IEEE Xplore