@Article{,
  author = 	 {Milan Hlad{\'\i}k and Stefan Ratschan},
  title = 	 {Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall},
  journal = 	 {Mathematics in Computer Science},
  year = 	 2014,
  volume = 	 8,
  number = 	 3,
  pages = 	 {329--340}}