Untersuchungen zur Anwendung der Logik-Programmierung für Probleme der Steuerungstechnik. - Kay Görtzig (1987)