Amy P. Felty. A Logic Programming Approach to Implementing Higher-Order Term Rewriting. In Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, editors, Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Volume 596 of Lecture Notes in Computer Science, pages 135-161, Springer, 1991.
@inproceedings{Felty91, title = {A Logic Programming Approach to Implementing Higher-Order Term Rewriting}, author = {Amy P. Felty}, year = {1991}, tags = {term rewriting, graph-rewriting, logic programming, programming, logic, rewriting logic, rewriting, systematic-approach}, researchr = {https://researchr.org/publication/Felty91}, cites = {0}, citedby = {0}, pages = {135-161}, booktitle = {Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings}, editor = {Lars-Henrik Eriksson and Lars Hallnäs and Peter Schroeder-Heister}, volume = {596}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55498-X}, }