%0 Conference Paper %B PLILP %D 1991 %T A Technique for Recursive Invariance Detection and Selective Program Specification %A Fosca Giannotti %A Manuel V. Hermenegildo %B PLILP %P 323-334 %G eng