Unnoand Torii. Automating Induction for Solving Horn Clauses. 21 Oct. 2016.