16 search results - page 4 / 4 » Clause Elimination Procedures for CNF Formulas |
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...