Diagnosis and Debugging as Contradiction Removal.

Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes

Browse the full LPNMR paper archive.