Design and implementation of a modular interface to integrate CLP and tabled execution

Aquesta tesi apareix a les col·leccions següents