1. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

   • Alberto Ciaffaglione
   • Luigi Liquori
   • Marino Miculan

   OriginalPaper 19 April 2007 Pages: 1 - 47

2. Boolean Functions as Models for Quantified Boolean Formulas

   • Hans Kleine Büning
   • K. Subramani
   • Xishun Zhao

   OriginalPaper 14 April 2007 Pages: 49 - 75

3. General E-unification with Eager Variable Elimination and a Nice Cycle Rule

   • Barbara Morawska

   OriginalPaper 05 April 2007 Pages: 77 - 106