TY  - RPRT
TI  - An iterative approach to precondition inference using constrained Horn clauses
AU  - Bishoksan Kafle
AU  - John P. Gallagher
AU  - Graeme Gange
AU  - Peter Schachte
AU  - Harald Sondergaard
AU  - Peter J. Stuckey
PY  - 2018
UR  - https://arxiv.org/abs/1804.05989
ID  - 1804.05989
ER  -