1. Some Computational Aspects of distance-sat

   • Olivier Bailleux
   • Pierre Marquis

   OriginalPaper 10 January 2007 Pages: 231 - 260

2. An Efficient Approach to Solving Random k-sat Problems

   • Gilles Dequen
   • Olivier Dubois

   OriginalPaper 20 October 2006 Pages: 261 - 276

3. The Calculus of Relations as a Foundation for Mathematics

   • Steven Givant

   OriginalPaper 02 February 2007 Pages: 277 - 322

4. Tree Tuple Languages from the Logic Programming Point of View

   • Sébastien Limet
   • Gernot Salzer

   OriginalPaper 25 January 2007 Pages: 323 - 349