A. Leitsch, D. Cerna: "Analysis of Clause set Schema Aided by Automated Theorem Proving: {A} Case Study [Extended Paper]"; Computing Research Repository (CoRR), abs/1503.08551 (2015), 15 pages.
https://publik.tuwien.ac.at/files/publik_242171.pdf