Contradiction Removal within Well Founded Semantics.

Lus Moniz Pereira, Jos Jlio Alferes, Joaquim Nunes Aparcio

Browse the full LPNMR paper archive.