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.
@inproceedings{AntoyHMS01, title = {An Implementation of Narrowing Strategies}, author = {Sergio Antoy and Michael Hanus and Bart Massey and Frank Steiner}, year = {2001}, researchr = {https://researchr.org/publication/AntoyHMS01}, cites = {0}, citedby = {0}, pages = {207-217}, booktitle = {Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy}, publisher = {ACM}, isbn = {1-58113-388-X}, }