@conference {DBLP:conf/plilp/GiannottiH91,
	title = {A Technique for Recursive Invariance Detection and Selective Program Specification},
	booktitle = {PLILP},
	year = {1991},
	pages = {323-334},
	author = {Fosca Giannotti and Manuel V. Hermenegildo}
}
