@inproceedings{indurkhya-2020-inferring,
    title = "Inferring {M}inimalist {G}rammars with an {SMT}-Solver",
    author = "Indurkhya, Sagar",
    editor = "Ettinger, Allyson  and
      Jarosz, Gaja  and
      Pater, Joe",
    booktitle = "Proceedings of the Society for Computation in Linguistics 2020",
    month = jan,
    year = "2020",
    address = "New York, New York",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2020.scil-1.53/",
    pages = "457--460"
}