Reasoning About Inconsistent Formulas | Publicación