Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.

Miguel García-Díaz Susana Nieva Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. 103-118 2002 conf/flops/2002 FLOPS http://link.springer.de/link/service/series/0558/bibs/2441/24410103.htm db/conf/flops/flops2002.html#Garcia-DiazN02