TY - CONF T1 - A Technique for Recursive Invariance Detection and Selective Program Specification T2 - PLILP Y1 - 1991 A1 - Fosca Giannotti A1 - Manuel V. Hermenegildo JF - PLILP ER -