"Context-Moving Transformations for Function Verification."

Jürgen Giesl (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics