https://rdcu.be/dtiyc (Publisher version)
Hanus, M. (1991). Efficient Implementation of Narrowing and Rewriting. In H. Boley, & M. Richter (Eds.), Processing Declarative Knowledge (pp. 344‒365). Berlin: Springer.