@inproceedings{DBLP:conf/ppdp/AntoyHMS01,
 author = {Sergio Antoy and
Michael Hanus and
Bart Massey and
Frank Steiner},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/ppdp/AntoyHMS01.bib},
 booktitle = {Proceedings of the 3rd international ACM SIGPLAN conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
 doi = {10.1145/773184.773206},
 pages = {207--217},
 publisher = {ACM},
 timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
 title = {An Implementation of Narrowing Strategies},
 url = {https://doi.org/10.1145/773184.773206},
 year = {2001}
}