@book {DBLP:books/mit/pfenning92/BertolinoMPT92, title = {The Type System of LML}, series = {Types in Logic Programming}, year = {1992}, pages = {313-332}, author = {Bruno Bertolino and Luigi Meo and Dino Pedreschi and Franco Turini} }