Finite Quantification in Hierarchic Theorem Proving.

Peter Baumgartner, Joshua Bax, Uwe Waldmann

Browse the full CADE paper archive.