Mahon, L.; Vogel, C. The Proof Is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes. JLCL 2023, 36, 29-85.