Quantifier Elimination and Provers Integration S. Ghilardi
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions D. Cantone, J.T. Schwartz, and C.G. Zarba
Canonicity N. Dershowitz
Transforming Equality Logic to Propositional Logic H. Zantema and J.F. Groote
On Leaf Permutative Theories and Occurrence Permutation Groups T. Boy de la Tour and M. Echenim
Light-Weight Theorem Proving for Debugging and Verifying Pointer Manipulating Programs S. Ranise and D. Déharbe
Can Decision Procedures be Learnt Automatically? M. Jamnik and P. Janicic
Manipulating Tree Tuple Languages by Transforming Logic Programs S. Limet and G. Salzer
Combining Non-Stably Infinite Theories C. Tinelli and C.G. Zarba
Exact Algorithms for MAX-SAT H. Zhang, H. Shen, and F. Manyà
Reachability in Conditional Term Rewriting Systems G. Feuillade and T. Genet
A Resolution-based Model Building Algorithm for a Fragment of OCC1N N. Peltier
MPTP 0.1 - System Description J. Urban
VOTE: Group Editors Analyzing Tool A. Imine, P. Molli, G. Oster and P. Urso
Dialogue Games for Modelling Proof Search in Nonclassical Logics C. Fermüller
Automatic Theorem Proving in Calculi with Cut E. Eder