Jürgen Dix Jorge Lobo Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. 161-164 1999 25 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai25.html#DixL99