Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez: On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. AAAI 2015: 3710-3716