MAHON, Louis; VOGEL, Carl. The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes. Journal for Language Technology and Computational Linguistics, [S. l.], v. 36, n. 2, p. 29–85, 2023. DOI: 10.21248/jlcl.36.2023.233. Disponível em: https://jlcl.org/article/view/233. Acesso em: 16 jul. 2024.