@inproceedings{GH+96,
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},
title = {A Rewriting Logic for Declarative Programming},
booktitle = {6th European Symposium on Programming (ESOP'96)},
pages = {156-172},
bibsource = {DBLP, http://dblp.uni-trier.de},
projects = {},
butype = {inproceedings},
year = {1996}
}