Dominique Michelucci. Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry. In Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, pages 118-131, Springer, 2010. [doi]
Abstract is missing.