@article{AHHOV05,
author = {E.~Albert and M.~Hanus F.~Huch and J.~Oliver and G.~Vidal},
journal = {Journal of Symbolic Computation},
number = {1},
pages = {795-829},
title = {Operational Semantics for Declarative Multi-Paradigm Languages},
volume = {40},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2005}
}