Marques-Silva, J., MencĂ­a, C., 2020. Reasoning About Inconsistent Formulas, in: . International Joint Conferences on Artificial Intelligence Organization.. https://doi.org/10.24963/ijcai.2020/672