Sequent reconstruction in LLM|A sweepline proof (1995)

by Ban95 Richard Banach
Venue:Annals of Pure and Applied Logic