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)