Redundancy in logic I: CNF propositional formulae. (2005)

by P Liberatore
Venue:Artif. Intell.,