Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints.

Wolfgang Gehrke Jochen Pfalzgraf Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints. 139-160 2001 26 J. Autom. Reasoning 2 db/journals/jar/jar26.html#GehrkeP01