Ansatzpunkte für heuristische Methoden bei der Vervollständigung - Denzinger, Jörg (Universität <Kaiserslautern> / SEKI-Projekt: SEKI working paper, 1990)