10th International Conference on Automated Deduction

The papers range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics. The methodologies include resolution, paramodulation, rewriting, completion, unification, and induction, and the applications include program verification, logic programming, deductive databases, and theorem provin