TY  - RPRT
TI  - Horn Clauses as an Intermediate Representation for Program Analysis and Transformation
AU  - Graeme Gange
AU  - Jorge A. Navas
AU  - Peter Schachte
AU  - Harald Sondergaard
AU  - Peter J. Stuckey
PY  - 2015
DO  - 10.1017/s1471068415000204
UR  - https://arxiv.org/abs/1507.05762
ID  - 1507.05762
ER  -