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), pp. 29–85. doi: 10.21248/jlcl.36.2023.233.