Automating Induction for Solving Horn Clauses
Hiroshi Unno
◽
Sho Torii
◽
Hiroki Sakamoto
Sumanth Prabhu
◽
Grigory Fedyukovich
◽
Kumar Madhukar
◽
Deepak D'Souza
Toby Cathcart Burn
◽
Luke Ong
◽
Steven Ramsay
◽
Dominik Wagner
2021 ◽
Vol 344
◽
pp. 36-64
Emanuele De Angelis
◽
Fabio Fioravanti
◽
Maria Chiara Meo
◽
Alberto Pettorossi
◽
Maurizio Proietti
Thomas Martin Gawlitza
◽
Helmut Seidl
◽
Kumar Neeraj Verma
Chris Collins
◽
Paul M. Postal