Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. - Koichi Fujima; Sohei Ito; Naoki Kobayashi 001 (APLAS, 2013)

Streett Automata Model Checking of Higher-Order Recursion Schemes. - Ryota Suzuki 002; Koichi Fujima; Naoki Kobayashi 001; Takeshi Tsukada (FSCD, 2017)