Marcos López Sanz César J. Acuña Carlos E. Cuesta Esperanza Marcos 23-37 2008 194 Electr. Notes Theor. Comput. Sci. 4 http://dx.doi.org/10.1016/j.entcs.2008.03.097 db/journals/entcs/entcs194.html#SanzACM08