TY  - RPRT
TI  - The Relationship between Craig Interpolation and Recursion-Free Horn Clauses
AU  - Philipp Rümmer
AU  - Hossein Hojjat
AU  - Viktor Kuncak
PY  - 2013
UR  - https://arxiv.org/abs/1302.4187
ID  - 1302.4187
ER  -