1. Department of Mathematics and Computer Science, University of the Balearic Islands, 07122 Palma de Mallorca, Spain
2. Algorithms, Bioinformatics, Complexity and Formal Methods Research Group, Technical University of Catalonia, 08034 Barcelona, Spain