Conditional Lemma Discovery and Recursion Induction in Hipster. - Irene Lobo Valbuena; Moa Johansson (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)