David Sherman, Robert Strandh
Call Unfolding Strategies for Equational Logic Programs
PEPM, 1992.
@inproceedings{PEPM-1992-ShermanS, author = "David Sherman and Robert Strandh", booktitle = "{Proceedings of the Second Workshop on Partial Evaluation and Semantics-Based Program Manipulation (TR YALEU/DCS/RR-909)}", pages = "48--53", publisher = "{Yale University}", title = "{Call Unfolding Strategies for Equational Logic Programs}", year = 1992, }