Yu-Yang Lin, Nikos Tzevelekos: A Bounded Model Checking Technique for Higher-Order Programs. SETTA 2019: 1-18