@inproceedings{BK11, author = "U. Boker and O. Kupferman", title = "{Co-B\"uching} them all", booktitle = fossacs11, pages = ? series = lncs, volume = ? publisher = springer, year = "2011" }