Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner. An Implementation of Narrowing Strategies. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 207-217, ACM, 2001.
Abstract is missing.