Mahon, Louis, and Carl Vogel. 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.