1. Constantinos Georgiou is with the Graduate Program in Logic, Algorithms, and Computation (MPLA), Department of Mathematics, National and Kapodistrian University of Athens, Greece
2. Evangelos Krarakis is with the School of Computer Science, Carleton University, Ottawa, Ontario, Canada. Research supported in part by NSERC (Natural Sciences and Engineering Research Council of Canada) and MITACS (Mathematics of Information Technology and Complex Systems) grants
3. Ricardo Marcel' in-Jim'enez is with the E.E. Dept., UAM-I, Mexico City, Mexico. Visiting the E.E. Dept. of the CINVESTAV, under contract Marina-CONACyT
4. Sergio Rajsbaum and Jorge Urrutia are with the Instituto de Matem'aticas, Universidad Nacional Aut'onoma de M'exico (UNAM), Supported in part by PAPIIT-UNAM