Franz Winkler,
"ADG'2002 -- Automated Deduction in Geometry - Abstracts Booklet"
, Serie RISC Report Series, Nummer 02-20, 2002, auch veröffentlicht als SFB-Report (SFB 13) 02-26
Original Titel:
ADG'2002 -- Automated Deduction in Geometry - Abstracts Booklet