Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming. - Luigia Carlucci Aiello; Carlo Cecchi (Foundations of Knowledge Base Management (Xania), 1985)

Representation and use of metaknowledge. - Luigia Aiello; Carlo Cecchi; Dario Sartini (Proc. IEEE, 1986)

Evaluating Logic Programs via Set-Valued Functions. - Carlo Cecchi; Dario Sartini; Luigia Carlucci Aiello (ICLP, 1987)

Exploiting the Full Power of Logic Plus Functional Programming. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP/SLP, 1988)

An Extension of WAM for K-LEAF: A WAM-based Compilation of Conditional Narrowing. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (ICLP, 1989)

IDEAL & K-LEAF implementation: a progress report. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso (PARLE (1), 1989)

Logic and Functional Programming on Distributed Memory Architecture. - Pier Giorgio Bosco; Carlo Cecchi; Corrado Moiso; Marisa Porta; Giorgio Sofi (ICLP, 1990)