Describing proofs by short tautologies (2009)

by Stefan Hetzl
Venue:Annals of Pure and Applied Logic