Amy P. Felty. A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. In Peter Schroeder-Heister, editor, Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings. Volume 475 of Lecture Notes in Computer Science, pages 157-178, Springer, 1989.
Abstract is missing.