1. Banerjee, A., Naumann, D., Rosenberg, S.: Decision Procedures for Region Logic. In: Submission (August 2011), http://www.cs.stevens.edu/naumann/publications/dprlSubm.pdf
2. Bjørner, N.: Linear quantifier elimination as an abstract decision procedure. In: Giesl, J., Hähnle, R. (eds.) [5], pp. 316–330
3. Lecture Notes in Computer Science;R. Bruttomesso,2010
4. Lecture Notes in Computer Science;L. Moura de,2008
5. Lecture Notes in Computer Science,2010