- Greta Yorsh, Madanlal Musuvathi:
A Combination Method for Generating Interpolants. CADE 2005: 353-368 - Jian Zhang:
Computer Search for Counterexamples to Wilkie's Identity. CADE 2005: 441-451 - Ting Zhang, Henny B. Sipma, Zohar Manna:
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148 - Robert Nieuwenhuis
:
Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings. Lecture Notes in Computer Science 3632, Springer 2005, ISBN 3-540-28005-7 [contents]