@inproceedings{BK09,
        author      =   "U. Boker and O. Kupferman",
        title       =   {Co-ing {B}\"{u}chi made tight and useful},
        booktitle   =   lics09,
        pages       =   "245-254",
        year        =   "2009",
}