@inproceedings{LiptonNieva-tlca07,
author = {J.~Lipton and S.~Nieva},
booktitle = {8th International Conference Typed Lambda Calculi and Applications (TLCA 2007)},
month = {June},
number = {4583},
pages = {272--289},
publisher = {Springer-Verlag},
series = {LNCS},
title = {Higher-Order Logic Programming Languages with Constraints: A Semantics},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2007}
}