Reasoning About Strong Inconsistency in ASP.

Carlos Menca, Joo Marques-Silva

Browse the full SAT paper archive.