A Survey of the Implementations of Narrowing

P. H. Cheong, Laurent Fribourg. A Survey of the Implementations of Narrowing. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 177-187, Springer, 1991.

Abstract

Abstract is missing.