@inproceedings{FKL10, author = "D. Fisman and O. Kupferman and Y. Lustig", title = "Rational Synthesis", booktitle = tacas10, series = lncs, volume = 6015, pages = "190--204", publisher = springer, year = 2010 }