1. Logic Systems Laboratory Swiss Federal Institute of Technology in Lausanne, 1015 Lausanne, Switzerland,
2. Department of Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel and Logic Systems Laboratory, Swiss Federal Institute of Technology in Lausanne,