1 |
| Kaoen, Joost-Pieter (ed.) |
| |
1 |
| Khasidashvili, Zurab (ed.) |
| |
1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| | 1998 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Proceedings Article | |
| | 1998 | Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph | | On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411 | Proceedings Article | |
| | 1998 | Bachmair, Leo
Ganzinger, Harald | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Proceedings Article | |