| | | Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne | | Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476 | |
| | | Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe | | Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434 | |