Richard Helm
On the Elimination of Redundant Derivations During Execution
ICLP, 1990.
@inproceedings{NACLP-1990-Helm, author = "Richard Helm", booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}", isbn = "0-262-54058-4", pages = "551--568", publisher = "{MIT Press}", title = "{On the Elimination of Redundant Derivations During Execution}", year = 1990, }