An Operator for Removal of Subsumed Clauses.

Mohammad Ghasemzadeh, Christoph Meinel

Browse the full CSICC paper archive.