Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Non-Monotonic Reasoning with Logic Programming. 227-263 1993 17 J. Log. Program. 2/3&4 db/journals/jlp/jlp17.html#PereiraAA93