Paqui Lucio
in English
XA functorial framework for constraint normal logic programming
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
in English
XA functorial framework for constraint normal logic programming
2006
in: Algebra, meaning, and computation, Dordrecht : Springer