A classification theory of semantics of normal logic programs - Dix, Jürgen 1961- (Fachberichte Informatik, 1993)