Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Lasaruk, A., & Sturm, T. (2011). Automatic Verification of the Adequacy of Models for Families of Geometric Objects. In T. Sturm, & C. Zengler (Eds.), Automated Deduction in Geometry (pp. 116-140). Berlin: Springer. doi:10.1007/978-3-642-21046-4_6.