@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
}