Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
A Higher Order Rewriting Logic for Functional Logic Programming
ICLP, 1997.
@inproceedings{ICLP-1997-Gonzalez-MorenoHR,
author = "Juan Carlos González Moreno and Maria Teresa Hortalá-González and Mario Rodríguez-Artalejo",
booktitle = "{Proceedings of the 14th International Conference on Logic Programming}",
isbn = "0-262-64035-X",
pages = "153--167",
publisher = "{MIT Press}",
title = "{A Higher Order Rewriting Logic for Functional Logic Programming}",
year = 1997,
}