P. H. Cheong, Laurent Fribourg: A Survey of the Implementations of Narrowing. Declarative Programming 1991: 177-187