I. Lobo Valbuena and M. Johansson, “Conditional Lemma Discovery and Recursion Induction in Hipster”, eceasst, vol. 72, Nov. 2015.