TY  - RPRT
TI  - Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions
AU  - Qi Zhou
AU  - David Heath
AU  - William Harris
PY  - 2018
DO  - 10.4204/eptcs.278.3
UR  - https://arxiv.org/abs/1705.03167
ID  - 1705.03167
ER  -