@inproceedings{mahon-vogel-2023-proof,
    title = "The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes",
    author = "Mahon, Louis  and
      Vogel, Carl",
    editor = "Wartena, Christian",
    booktitle = "Journal for Language Technology and Computational Linguistics, Vol. 36 No. 2",
    month = may,
    year = "2023",
    address = "unknown",
    publisher = "German Society for Computational Lingustics and Language Technology",
    url = "https://preview.aclanthology.org/fix-sig-urls/2023.jlcl-2.2/",
    doi = "10.21248/jlcl.36.2023.233",
    pages = "29--85"
}