Susanne Apel, Jürgen Richter-Gebert. Cancellation Patterns in Automatic Geometric Theorem Proving. 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 1-33, Springer, 2010. [doi]
Abstract is missing.