A Functorial Framework for Constraint Normal Logic Programming.

Paqui Lucio Fernando Orejas Edelmira Pasarella Elvira Pino A Functorial Framework for Constraint Normal Logic Programming. 555-577 2006 conf/birthday/2006goguen Essays Dedicated to Joseph A. Goguen http://dx.doi.org/10.1007/11780274_29 db/conf/birthday/goguen2006.html#LucioOPP06