Walter, A. T.; Boskin, B.; Cooper, S.; Manolios, P. Gamification of Loop-Invariant Discovery from Code. HCOMP 2019, 7, 188-196.