Associative-commutative superposition

Conditional and Typed Rewriting Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-60381-6_1 ◽

1995 ◽

pp. 1-14 ◽

Author(s):

Leo Bachmair ◽

Harald Ganzinger

Download Full-text