Sciweavers

LPAR
2007
Springer
14 years 5 months ago
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
Abstract. The Knuth-Bendix ordering is usually preferred over the lexicographic path ordering in successful implementations of resolution and superposition, but it is incompatible ...
Michel Ludwig, Uwe Waldmann