![](/img/cover-not-exists.png)
Ordered chaining calculi for first-order theories of transitive relations
Bachmair, Leo, Ganzinger, HaraldVolume:
45
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/293347.293352
Date:
November, 1998
File:
PDF, 273 KB
english, 1998