The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes Article in Journal for Language Technology and Computational Linguistics (December 2023)