Phil Scott, Jacques D. Fleuriot. An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time. 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 182-200, Springer, 2010. [doi]
Abstract is missing.