Accepted Contributions

1. Xuanye An, Miyuki Koshimura, Hiroshi Fujita and Ryuzo Hasegawa.
   QMaxSAT version 0.3 & 0.4.
2. Vincent Aravantinos and Nicolas Peltier.
   Generating Schemata of Resolution Proofs.
3. Serdar Erbatur, Christopher Lynch and Paliath Narendran.
   Unification in a Theory of Blind Signatures.
4. Christian Mahesh Hansen, Martin Giese, Arild Waaler and Roger Antonsen.
   Incremental Variable Splitting.
5. Thomas Raths and Jens Otten.
   Implementing and Evaluating Theorem Provers for First-Order Modal Logics.
6. Christophe Ringeissen and Valerio Senni.
   Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.