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