Lazy Abstraction for Higher-Order Program Verification.

Taku Terao

Browse the full PPDP paper archive.