@inproceedings{Susana-flops02,
address = {London, UK},
author = {M.~Garc\'{\i}a-D\'{\i}az and S.~Nieva},
booktitle = {FLOPS '02: Proceedings of the 6th International Symposium on Functional and Logic Programming},
isbn = {3-540-44233-2},
pages = {103--118},
publisher = {Springer-Verlag},
title = {Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms},
projects = {},
butype = {inproceedings},
year = {2002}
}