An Instantiation Scheme for Satisfiability Modulo Theories Mnacho EchenimNicolas Peltier OriginalPaper 01 September 2010 Pages: 293 - 362
E-unification with Constants vs. General E-unification Jan Otop OriginalPaper 21 August 2010 Pages: 363 - 390
Dealing with Satisfiability and n-ary CSPs in a Logical Framework Belaïd BenhamouLionel ParisPierre Siegel OriginalPaper 04 September 2010 Pages: 391 - 417