A compact representation of proofs (1987)

by Dale A Miller
Venue:Studia Logica