Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP

Open in new window