@inproceedings{chakraborty_et_al:LIPIcs.MFCS.2022.30,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Skolem functions, Automated, Synthesis, First order logic, Computability},
    Author = {Chakraborty, Supratik and Akshay, S.},
    BookTitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)},
    Editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra},
    File = {On Synthesizing Computable Skolem Functions for First Order Logic - LIPIcs-MFCS-2022-30.pdf},
    ISBN = {978-3-95977-256-3},
    ISSN = {1868-8969},
    Pages = {30:1--30:15},
    Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{On Synthesizing Computable Skolem Functions for First Order Logic}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16828},
    Volume = {241},
    Year = {2022},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16828},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2022.30},
    date-added = {2022-08-29 14:38:31 +0200},
    date-modified = {2022-08-29 14:38:31 +0200},
    urn = {urn:nbn:de:0030-drops-168285},
    doi = {10.4230/LIPIcs.MFCS.2022.30}
}

@inproceedings{chakraborty_et_al:LIPIcs.MFCS.2022.30, Address = {Dagstuhl, Germany}, Annote = {Keywords: Skolem functions, Automated, Synthesis, First order logic, Computability}, Author = {Chakraborty, Supratik and Akshay, S.}, BookTitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, Editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, File = {On Synthesizing Computable Skolem Functions for First Order Logic - LIPIcs-MFCS-2022-30.pdf}, ISBN = {978-3-95977-256-3}, ISSN = {1868-8969}, Pages = {30:1--30:15}, Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{On Synthesizing Computable Skolem Functions for First Order Logic}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16828}, Volume = {241}, Year = {2022}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2022/16828}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.MFCS.2022.30}, date-added = {2022-08-29 14:38:31 +0200}, date-modified = {2022-08-29 14:38:31 +0200}, urn = {urn:nbn:de:0030-drops-168285}, doi = {10.4230/LIPIcs.MFCS.2022.30} }