1. Empirically Successful Automated Reasoning: Applications Issue

   • Bernd Fischer
   • Geoff Sutcliffe
   • Stephan Schulz

   OriginalPaper 22 December 2006 Pages: 1 - 1

2. Axiomatizing the Skew Boolean Propositional Calculus

   • R. Veroff
   • M. Spinks

   OriginalPaper 22 September 2006 Pages: 3 - 20

3. MPTP 0.2: Design, Implementation, and Initial Experiments

   • Josef Urban

   OriginalPaper 25 November 2006 Pages: 21 - 43

4. Checking Consistency and Completeness of On-Line Product Manuals

   • Carsten Sinz
   • Wolfgang Küchlin
   • Georg Görtler

   OriginalPaper 06 October 2006 Pages: 45 - 66

5. Formal Correctness of a Quadratic Unification Algorithm

   • José-Luis Ruiz-Reina
   • Francisco-Jesús Martín-Mateos
   • María-José Hidalgo

   OriginalPaper 28 September 2006 Pages: 67 - 92

6. A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

   • Panagiotis Manolios
   • Sudarshan K. Srinivasan

   OriginalPaper 07 October 2006 Pages: 93 - 116

7. Verification of FPGA Layout Generators in Higher-Order Logic

   • Oliver Pell

   OriginalPaper 19 October 2006 Pages: 117 - 152