@inproceedings{GN02,
author = {M.~Garc\'{\i}a-D\'{\i}az and S.~Nieva},
booktitle = {Proc. 6th International Symposium on Functional and Logic Programming (FLOPS'02)},
pages = {103--118},
publisher = {Springer},
series = {LNCS},
title = {Solving {M}ixed {Q}uantifiers {C}onstraints over a {D}omain {B}ased on {R}eal {N}umbers and {H}erbrand {T}erms},
volume = {2441},
projects = {},
butype = {inproceedings},
year = {2002}
}