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.
@inproceedings{Felty89,
title = {A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs},
author = {Amy P. Felty},
year = {1989},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/Felty89},
cites = {0},
citedby = {0},
pages = {157-178},
booktitle = {Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings},
editor = {Peter Schroeder-Heister},
volume = {475},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53590-X},
}