@misc{indiciaeae88ef4cc938,
  title = {The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes},
  author = {Louis Mahon and Carl Vogel},
  year = {2022},
  url = {https://arxiv.org/abs/2203.02683},
  note = {Source identifier: 2203.02683}
}