Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. Disjunctive interpolants for horn-clause verification. In
Computer Aided Verification (CAV)
, 2013.
[
bib
]
Back