Santiago Escobar
Implementing Natural Rewriting and Narrowing Efficiently
FLOPS, 2004.
@inproceedings{FLOPS-2004-Escobar, author = "Santiago Escobar", booktitle = "{Proceedings of the Seventh International Symposium on Functional and Logic Programming}", doi = "10.1007/978-3-540-24754-8_12", isbn = "3-540-21402-X", pages = "147--162", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Implementing Natural Rewriting and Narrowing Efficiently}", volume = 2998, year = 2004, }