Janine Willms Claus Möbus Die Extraktion von Restriktionen aus Aufgabenbeschreibungen für die statische, konzeptbasierte Diagnose von Lösungs- bzw. Schaltungsentwürfen (aus der Pneumatik). 241-250 1998 conf/schule/1998 Informatik und Ausbildung db/conf/schule/schule1998.html#WillmsM98