References
Elvira Pino
A functorial framework for constraint normal logic programming
2006
with Lucio Paqui, Orejas Fernando, Pasarella Edelmira
in: Algebra, meaning, and computation, Dordrecht : Springer
2006
with Lucio Paqui, Orejas Fernando, Pasarella Edelmira
in: Algebra, meaning, and computation, Dordrecht : Springer