On Model-Checking Trees Generated by Higher-Order Recursion Schemes | IEEE Conference Publication | IEEE Xplore