@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}
}
