1. Constructing finite algebras with FALCON

   • Jian Zhang

   OriginalPaper Pages: 1 - 22

2. The power of combining resonance with heat

   • Larry Wos

   OriginalPaper Pages: 23 - 81

3. The semantics of answer literals

   • Kenneth Kunen

   OriginalPaper Pages: 83 - 95

4. A simple and efficient boolean solver for Constraint Logic Programming

   • Philippe Codognet
   • Daniel Diaz

   OriginalPaper Pages: 97 - 128

5. Any ground associative-commutative theory has a finite canonical system

   • Paliath Narendran
   • Michaël Rusinowitch

   OriginalPaper Pages: 131 - 143