Jürgen Dix Luís Moniz Pereira Teodor C. Przymusinski Prolegomena to Logic Programming for Non-monotonic Reasoning. 1-36 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#DixPP96