@article{theproofisinthepuddingusingautomated,
  title = {The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes},
  author = {Louis Mahon and Carl Vogel},
  year = {2022},
  eprint = {2203.02683},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2203.02683v1},
}