https://arxiv.org/abs/cs/0108013
[cs/0108013] Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers
Abstract page for arXiv paper cs/0108013: Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers
first ordercsconvergentapproximatesolving