Solving Mixed Quantified Constraints over a Domain Based on R eal Numbers and H erbrand Terms | Publicación