TY  - RPRT
TI  - Working with first-order proofs and provers
AU  - Michael Raskin
AU  - Christoph Welzel
PY  - 2019
DO  - 10.5281/zenodo.2633990
UR  - https://arxiv.org/abs/1904.01079
ID  - 1904.01079
ER  -