A classification theory of semantics of normal logic programs - Dix, Jürgen 1961- (Uni Koblenz-Landau, Inst. für Informatik, 1993)