Automating Induction for Solving Horn Clauses. - Hiroshi Unno 001; Sho Torii (CoRR, 2016)

Automating Induction for Solving Horn Clauses. - Hiroshi Unno 001; Sho Torii; Hiroki Sakamoto (CAV (2), 2017)