An iterative approach to precondition inference using constrained Horn clauses. - KAFLE, BISHOKSAN; GALLAGHER, JOHN P.; GANGE, GRAEME; SCHACHTE, PETER; SØNDERGAARD, HARALD; STUCKEY, PETER J.; Dal Palu, Alessandro; Tarau, Paul (Theory & Practice of Logic Programming, 2018)