Mahon, Louis, and Carl Vogel. “The Proof Is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes”. Journal for Language Technology and Computational Linguistics 36, no. 2 (December 5, 2023): 29–85. Accessed February 29, 2024. https://jlcl.org/article/view/233.