Mahon, L., & 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), 29–85. https://doi.org/10.21248/jlcl.36.2023.233