On Global Model Checking Trees Generated by Higher−Order Recursion Schemes (FOSSACS, 2009)

(untitled) - Broadbent, C; Ong, C