@INPROCEEDINGS{AntoyHanusMasseySteiner01PPDP, author = {Sergio Antoy and Bart Massey and Michael Hanus and Frank Steiner}, title = {An implementation of narrowing strategies}, booktitle = {Proc.\ of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming}, year = {2001}, isbn = {1-58113-388-X}, pages = {207--217}, location = {Florence, Italy}, doi = {http://doi.acm.org/10.1145/773184.773206}, publisher = {ACM Press}, }