@article{jflpGN,
author = {M.~Garc\'{\i}a-D\'{\i}az and S.~Nieva},
journal = {Journal of Functional and Logic Programming},
number = {4},
pages = {30 pages},
publisher = {EAPLS},
title = {Formalizing {T}wo {F}ixed {P}oint {S}emantics for \textit{HH}(\cal {C})},
volume = {2004},
projects = {},
butype = {article},
year = {2004}
}