1. An Instantiation Scheme for Satisfiability Modulo Theories

   • Mnacho Echenim
   • Nicolas Peltier

   OriginalPaper 01 September 2010 Pages: 293 - 362

2. E-unification with Constants vs. General E-unification

   • Jan Otop

   OriginalPaper 21 August 2010 Pages: 363 - 390

3. Dealing with Satisfiability and n-ary CSPs in a Logical Framework

   • Belaïd Benhamou
   • Lionel Paris
   • Pierre Siegel

   OriginalPaper 04 September 2010 Pages: 391 - 417