A Progress Report on the LML Project. - Bruno Bertolino; Paolo Mancarella; Luigi Meo; Luca Nini; Dino Pedreschi; Franco Turini (FGCS, 1988)

The Type System of LML. - Bruno Bertolino; Luigi Meo; Dino Pedreschi; Franco Turini (Types in Logic Programming, 1992)

A Completeness Result for SLDNF-Resolution. - Bruno Bertolino; M. Mowbray (GULP, 1993)

Consistency-Based and Abductive Diagnoses as Generalized Stable Models. - Chris Preist; Kave Eshghi; Bruno Bertolino (Ann. Math. Artif. Intell., 1994)