@inproceedings{ppdpGN,
author = {M.~Garc\'{\i}a-D\'{\i}az and S.~Nieva},
booktitle = {Proc. 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'04)},
pages = {55--66},
publisher = {ACM Press},
title = {Providing {D}eclarative {S}emantics for \textit{HH} {E}xtended {C}onstraint {L}ogic {P}rograms},
projects = {},
butype = {inproceedings},
year = {2004}
}