Krystof Hoder Laura Kovács Andrei Voronkov Invariant Generation in Vampire. 60-64 2011 TACAS http://dx.doi.org/10.1007/978-3-642-19835-9_7 conf/tacas/2011 db/conf/tacas/tacas2011.html#HoderKV11