Generating theorem proving procedures from axioms of Truncated Predicate Calculus. - Grzegorz Wiaderek; Iwona Skalna (CoRR, 2019)