@inproceedings{abney-2018-bidirectional,
    title = "A bidirectional mapping between {E}nglish and {CNF}-based reasoners",
    author = "Abney, Steven",
    editor = "Jarosz, Gaja  and
      O{'}Connor, Brendan  and
      Pater, Joe",
    booktitle = "Proceedings of the Society for Computation in Linguistics ({SC}i{L}) 2018",
    year = "2018",
    url = "https://preview.aclanthology.org/fix-sig-urls/W18-0306/",
    doi = "10.7275/R5PZ571N",
    pages = "55--63"
}