CSL
1994
Springer
15 years 28 days ago
1994
Springer
61
Voted
CSL
1994
Springer
15 years 28 days 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 28 days ago
1994
Springer
