TY  - RPRT
TI  - Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper]
AU  - David Cerna
AU  - Alexander Leitsch
PY  - 2015
UR  - https://arxiv.org/abs/1503.08551
ID  - 1503.08551
ER  -