"Lifting abstract interpreters to quantified logical domains."

Sumit Gulwani, Bill McCloskey, Ashish Tiwari (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics