On model-checking trees generated by higherorder recursion schemes (2006)

by C-H L Ong
Venue:In Proc. of the 21st Symposium on Logic in Computer Science