Renate A. Schmidt (Ed.):
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings.
Lecture Notes in Computer Science 5663 Springer 2009, ISBN 978-3-642-02958-5
22. CADE 2009:
Martin C. Rinard
: Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.
Combinations and Extensions
Minimal Unsatisfiability and Automated Reasoning Support
: Instantiation-Based Automated Reasoning: From Theory to Practice.
Interpolation and Predicate Abstraction
Resolution-Based Systems for Non-classical Logics
Termination Analysis and Constraint Solving
Rewriting, Termination and Productivity
Modal Tableaux with Global Caching