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