Lobo Valbuena, I.; Johansson, M. Conditional Lemma Discovery and Recursion Induction in Hipster. ECEASST 2015, 72.