Invariant discovery via failed proof attempts (1998)

by Jamie Stark, Andrew Ireland
Venue:In Proceedings, 8th International Workshop on Logic Based Program Synthesis and Transformation