"Solving Mixed Quantified Constraints over a Domain Based on Real Numbers ..."

Miguel García-Díaz, Susana Nieva (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics