Invariant Generation in Vampire.

Krystof Hoder, Laura Kovcs, Andrei Voronkov

Browse the full TACAS paper archive.