@inproceedings{KL25,
        author      =   "O. Kupferman and O. Leshkowitz",
        title       =   "Synthesis with Guided Environments",
        booktitle   =   tacas25,
        pages       =   "?",
        series      =   lncs,
        volume      =   "?",
        publisher   =   springer,
        year        =   ?
}