Use of Unit Clauses and Clause Splitting in Automatic Deduction.

Shie-Jue Lee, David A. Plaisted

Browse the full ICCI paper archive.