A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems (2000)

by Christoph Kreitz , Stephan Schmitt
Venue:Journal of Information and Computation
Citations:10 - 7 self