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). In Volker Claus, editor, Informatik und Ausbildung, GI-Fachtagung 98, Informatik und Ausbildung, Stuttgart, 30. März - 1. April 1998. Informatik Aktuell, pages 241-250, Springer, 1998.
Abstract is missing.