A functorial framework for constraint normal logic programming

2006

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

in: Algebra, meaning, and computation, Berlin,