2 search results - page 1 / 1 » Basic Completion with E-cycle Simplification |
93
Voted
AISC
1998
Springer
15 years 7 months ago
1998
Springer
112
Voted
CADE
1998
Springer
15 years 7 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...