Grzegorz Wiaderek Iwona Skalna Generating theorem proving procedures from axioms of Truncated Predicate Calculus. 2019 abs/1907.12636 CoRR http://arxiv.org/abs/1907.12636 db/journals/corr/corr1907.html#abs-1907-12636