Small Proof Witnesses for LF.

Susmit Sarkar, Brigitte Pientka, Karl Crary

Browse the full ICLP paper archive.