A Survey of the Implementations of Narrowing. - P. H. Cheong; Laurent Fribourg (Declarative Programming, 1991)

Efficient Integration of Simplifications into Prolog. - P. H. Cheong; Laurent Fribourg (PLILP, 1991)