A ZDD-Based Efficient Higher-Order Model Checking Algorithm. - Taku Terao; Naoki Kobayashi 001 (APLAS, 2014)

Higher-Order Model Checking in Direct Style. - Taku Terao; Takeshi Tsukada; Naoki Kobayashi 001 (APLAS, 2016)

Lazy Abstraction for Higher-Order Program Verification. - Taku Terao (PPDP, 2018)