Walter, A.T. et al. 2019. Gamification of Loop-Invariant Discovery from Code. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. 7, 1 (Oct. 2019), 188–196. DOI:https://doi.org/10.1609/hcomp.v7i1.5277.