with Lucio, P. , Orejas, F. , Pasarella, E. , 2006, A functorial framework for constraint normal logic programming, in K. Futatsugi, J. Jouannaud & J. Meseguer (eds.), Algebra, meaning, and computation, Dordrecht, Springer, pp. 555-577.