L. Mahon and C. Vogel, “The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes”, JLCL, vol. 36, no. 2, pp. 29–85, Dec. 2023.