"Small Witnesses for Abstract Interpretation-Based Proofs."

Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics