"Lazy Abstraction for Higher-Order Program Verification."

Taku Terao (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics