Reasoning About Inconsistent Formulas.

Joo Marques-Silva, Carlos Menca

Browse the full IJCAI paper archive.