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, vol. 36, no. 2, Dec. 2023, pp. 29-85, doi:10.21248/jlcl.36.2023.233.