Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
An Implementation of Narrowing Strategies
PPDP, 2001.
@inproceedings{PPDP-2001-AntoyHMS,
author = "Sergio Antoy and Michael Hanus and Bart Massey and Frank Steiner",
booktitle = "{Proceedings of the Third International Conference on Principles and Practice of Declarative Programming}",
isbn = "1-58113-388-X",
pages = "207--217",
publisher = "{ACM}",
title = "{An Implementation of Narrowing Strategies}",
year = 2001,
}