Solving non-linear Horn clauses using a linear Horn clause solver

Submitted by chiara.mezzetti on

TitleSolving non-linear Horn clauses using a linear Horn clause solver
Publication TypeConference Proceedings
Year of Conference2016
AuthorsKafle B., Gallagher J.P., Ganty P.
Conference NameElectronic Proceedings in Theoretical Computer Science
Volume219
Pagination33-48
PublisherEPTCS
DOI10.4204/EPTCS.219.4