Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes.

Koichi Fujima, Sohei Ito, Naoki Kobayashi

Browse the full APLAS paper archive.