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)