(1)
Besnard, P.; Grégoire, E.; Lagniez, J.-M. On Computing Maximal Subsets of Clauses That Must Be Satisfiable With Possibly Mutually-Contradictory Assumptive Contexts. AAAI 2015, 29.