A Clausal Approach to Proof Analysis in Second-Order Logic.

Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo

Browse the full LFCS paper archive.