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