@misc{indiciae682a653269b4,
  title = {Automatic Theorem Proving in Walnut},
  author = {Hamoon Mousavi},
  year = {2021},
  url = {https://arxiv.org/abs/1603.06017},
  note = {Source identifier: 1603.06017}
}