Jutta Eusterbrock Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung. Infix Verlag, St. Augustin, Germany 1992 DISKI 10 3-929037-10-6