"Constraint Specialisation in Horn Clause Verification."

Bishoksan Kafle, John P. Gallagher (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics