Mahon L, Vogel C. The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes. JLCL [Internet]. 2023 Dec. 5 [cited 2024 Jul. 16];36(2):29-85. Available from: https://jlcl.org/article/view/233