Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S. (2004). Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers. ACM Transactions on Computational Logic, 5, 264-281.