TY  - RPRT
TI  - Clausal Analysis of First-order Proof Schemata
AU  - David M. Cerna
AU  - Michael Lettmann
PY  - 2017
DO  - 10.1109/synasc.2017.00029
UR  - https://arxiv.org/abs/1702.02589
ID  - 1702.02589
ER  -