Ansatzpunkte für heuristische Methoden bei der Vervollständigung - Denzinger, Jörg (Univ. Kaiserslautern, Fachbereich Informatik, 1990)