"Fixpoint-Guided Abstraction Refinements."

Patrick Cousot, Pierre Ganty, Jean-François Raskin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics