A Compact Representation of Proofs, Studia Logica 46 (1987)

by D Miller