Mahon, L. and Vogel, C. 2023. The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes. Journal for Language Technology and Computational Linguistics. 36, 2 (Dec. 2023), 29–85. DOI:https://doi.org/10.21248/jlcl.36.2023.233.