Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers - Botana, Francisco; Recio, Tomas (Lecture Notes in Artificial Intelligence, 2007)