2 search results - page 1 / 1 » Basic Completion with E-cycle Simplification |
AISC
1998
Springer
13 years 9 months ago
1998
Springer
CADE
1998
Springer
13 years 9 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...