An isomorphism between a fragment of sequent calculus and an extension of natural deduction (2002)

by J Espírito Santo
Venue:Proceedings of LPAR’02, volume 2514 of Lecture Notes in Artificial Intelligence