A functorial framework for constraint normal logic programming

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

pp. 555-577


This document is unfortunately not available for download at the moment.