Editors: Narciso Mart´ ı-Oliet Miguel Palomino Technical report TR-08/12 Universidad Complutense de Madrid Departamento de Sistemas Inform´ aticos y Computaci´ on