1. On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”

   • Mark Wallace
   • Joachim Schimpf
   • Warwick Harvey

   OriginalPaper Pages: 5 - 34

2. Disunification in ACI1 Theories

   • Agostino Dovier
   • Carla Piazza
   • Enrico Pontelli

   OriginalPaper Pages: 35 - 91