Ansatzpunkte für heuristische Methoden bei der Vervollständigung - Denzinger, Jörg (SEKI working paper, 1990)