@misc{indiciae53b01b068772,
  title = {Natural Deduction Calculus for First-Order Logic},
  author = {Alrubyli and Yazeed},
  year = {2021},
  url = {https://arxiv.org/abs/2108.06015},
  note = {Source identifier: 2108.06015}
}