%0 Conference Paper %1 conf/iclp/Gonzalez-MorenoHR97 %A Moreno, Juan Carlos González %A Hortalá-González, Maria Teresa %A Rodríguez-Artalejo, Mario %B ICLP %D 1997 %E Naish, Lee %I MIT Press %K dblp %P 153-167 %T A Higher Order Rewriting Logic for Functional Logic Programming. %U http://dblp.uni-trier.de/db/conf/iclp/iclp97.html#Gonzalez-MorenoHR97 %@ 0-262-64035-X

@inproceedings{conf/iclp/Gonzalez-MorenoHR97, added-at = {2013-12-02T00:00:00.000+0100}, author = {Moreno, Juan Carlos González and Hortalá-González, Maria Teresa and Rodríguez-Artalejo, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2a5d08764ec7812e849cc5d075f50117b/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1997}, editor = {Naish, Lee}, interhash = {e9c217b5b4d7de572392071371fef765}, intrahash = {a5d08764ec7812e849cc5d075f50117b}, isbn = {0-262-64035-X}, keywords = {dblp}, pages = {153-167}, publisher = {MIT Press}, timestamp = {2013-12-03T11:35:12.000+0100}, title = {A Higher Order Rewriting Logic for Functional Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp97.html#Gonzalez-MorenoHR97}, year = 1997 }