120
Voted
CSL
1994
Springer
15 years 7 months ago
1994
Springer
111
Voted
CSL
1994
Springer
15 years 7 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
CSL
1994
Springer
15 years 7 months ago
1994
Springer
