Ordered chaining for total orderings (1994)

by BACHMAIR, H GANZINGER
Venue:Proc. 12th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 814