Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers - Winkler, Franz (Springer Berlin Heidelberg, 2004)