Denis Bouhineau Laurent Trilling Jacques Cohen An Application of CLP: Checking the Correctness of Theorems in Geometry. 383-405 1999 4 Constraints 4 db/journals/constraints/constraints4.html#BouhineauTC99