Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Contradiction Removal within Well Founded Semantics. 105-119 1991 LPNMR db/conf/lpnmr/lpnmr91.html#PereiraAA91