Strict basic superposition

Automated Deduction — CADE-15 - Lecture Notes in Computer Science ◽

10.1007/bfb0054258 ◽

1998 ◽

pp. 160-174 ◽

Cited By ~ 6

Author(s):

Leo Bachmair ◽

Harald Ganzinger

Download Full-text