CRL: Common Representation Language. - Enrico Maim (SEKE, 1990)

Abduction and Constraint Logic Programming. - Enrico Maim (ECAI, 1992)

Dealing with Time Granularity in the Event Calculus. - Angelo Montanari; Enrico Maim; Emanuele Ciapessoni; Elena Ratto (FGCS, 1992)

Recognizing Objects from Constraints. - Enrico Maim (SEKE, 1992)

Restricted Abduction in Constraint Logic Programs. - Enrico Maim (SEKE, 1993)