Christoph Kreitz Stephan Schmitt A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. 226-254 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#KreitzS00