@inproceedings{Escobar03, author = {Santiago Escobar}, title = {Refining weakly outermost-needed rewriting and narrowing}, booktitle = {Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declarative programming}, year = {2003}, isbn = {1-58113-705-2}, pages = {113--123}, location = {Uppsala, Sweden}, doi = {http://doi.acm.org/10.1145/888251.888263}, publisher = {ACM Press}, }