TY  - RPRT
TI  - Combining Forward and Backward Abstract Interpretation of Horn Clauses
AU  - Alexey Bakhirkin
AU  - David Monniaux
PY  - 2017
UR  - https://arxiv.org/abs/1707.01277
ID  - 1707.01277
ER  -