@inproceedings{GarciaNieva02,
author = {M.~G{arc\'{\i}a-D\'{\i}az} and S.~Nieva},
booktitle = {FLOPS'02},
editor = {Z. Hu and M. Rodr\'{\i}guez-Artalejo},
series = {LNCS 2441},
title = {Solving mixed quantified constraints over a domain based on real numbers and {Herbrand} terms},
projects = {},
butype = {inproceedings},
year = {2002}
}