@misc{indiciae12e79eab209a,
  title = {Generating theorem proving procedures from axioms of Truncated Predicate Calculus},
  author = {Grzegorz Wiaderek and Iwona Skalna},
  year = {2019},
  url = {https://arxiv.org/abs/1907.12636},
  note = {Source identifier: 1907.12636}
}