@article{GHLR99,
author = {J.C.~Gonz\'{a}lez-Moreno and M.T.~Hortal\'{a}-Gonz\'{a}lez and F.J.~L\'{o}pez-Fraguas and M.~Rodr\'{\i}guez-Artalejo},
journal = {Journal of Logic Programming},
number = {1},
pages = {47--87},
publisher = {Elsevier},
title = {An Approach to Declarative Programming Based on a Rewriting Logic},
volume = {40},
projects = {},
butype = {article},
year = {1999}
}