"Finite Quantification in Hierarchic Theorem Proving."

Peter Baumgartner, Joshua Bax, Uwe Waldmann (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics