Automatic generation of invariants and intermediate assertions. Theoretical Computer Science 173, 1 (Feb.), 49{87. Preliminary version appeared (1997)

by N S Bjrner, A Browne, Z Manna
Venue:in 1st Intl. Conf. on Principles and Practice of Constraint Programming