%0 Journal Article %1 journals/jlp/Gonzalez-MorenoHLR99 %A Moreno, Juan Carlos González %A Hortalá-González, Maria Teresa %A López-Fraguas, Francisco Javier %A Rodríguez-Artalejo, Mario %D 1999 %J J. Log. Program. %K dblp %N 1 %P 47-87 %T An Approach to Declarative Programming Based on a Rewriting Logic. %U http://dblp.uni-trier.de/db/journals/jlp/jlp40.html#Gonzalez-MorenoHLR99 %V 40

@article{journals/jlp/Gonzalez-MorenoHLR99, added-at = {2021-02-17T00:00:00.000+0100}, author = {Moreno, Juan Carlos González and Hortalá-González, Maria Teresa and López-Fraguas, Francisco Javier and Rodríguez-Artalejo, Mario}, biburl = {https://www.bibsonomy.org/bibtex/21b74c41dc46c887912de2f279d167f2c/dblp}, ee = {https://doi.org/10.1016/S0743-1066(98)10029-8}, interhash = {8e8e28107bc1c748d797f9f73859b8eb}, intrahash = {1b74c41dc46c887912de2f279d167f2c}, journal = {J. Log. Program.}, keywords = {dblp}, number = 1, pages = {47-87}, timestamp = {2024-04-08T10:50:37.000+0200}, title = {An Approach to Declarative Programming Based on a Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp40.html#Gonzalez-MorenoHLR99}, volume = 40, year = 1999 }