@article{GN03,
author = {M.~G{arc\'{\i}a-D\'{\i}az} and S.~Nieva},
journal = {Journal of Functional and Logic Programming},
month = {September},
number = {2},
publisher = {EAPLS},
title = {Solving Constraints for an Instance of an extended CLP language over a domain based on Real numbers and Herbrand terms},
volume = {2003},
projects = {},
butype = {article},
year = {2003}
}