TY  - RPRT
TI  - Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
AU  - Philipp Rümmer
AU  - Hossein Hojjat
AU  - Viktor Kuncak
PY  - 2013
UR  - https://arxiv.org/abs/1301.4973
ID  - 1301.4973
ER  -