Lobo Valbuena, I. and Johansson, M. (2015) “Conditional Lemma Discovery and Recursion Induction in Hipster”, Electronic Communications of the EASST, 72. doi: 10.14279/tuj.eceasst.72.1009.