Paul-André Monney. Planar Geometric Reasoning with the Theory of Hints. In Hanspeter Bieri, Hartmut Noltemeier, editors, Computational Geometry - Methods, Algorithms and Applications, International Workshop on Computational Geometry CG 91, Bern, Switzerland, March 21-22, 1991. Volume 553 of Lecture Notes in Computer Science, pages 141-159, Springer, 1991.
Abstract is missing.