@inproceedings{Ong:LICS:2006,
    Address = {Washington, DC, USA},
    Author = {Ong, C.-H. L.},
    BookTitle = {Proc. of LICS'06},
    File = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (0) (0) - a - a - g.pdf},
    ISBN = {0-7695-2631-4},
    Keywords = {higher-order model checking and higher-order recursion schemes},
    Pages = {81--90},
    Publisher = {IEEE Computer Society},
    Title = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes},
    URL = {http://dl.acm.org/citation.cfm?id=1157735.1158045},
    Year = {2006},
    acmid = {1158045},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1157735.1158045},
    bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2006.38},
    date-added = {2012-03-06 11:49:12 +0100},
    date-modified = {2016-01-13 15:52:02 +0000},
    file-2 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (1) (0) - a - a - g.pdf},
    file-3 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (2) (0) - a - a - g.pdf},
    file-4 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (3) (0) - a - a - g.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2006.38}
}

@inproceedings{Ong:LICS:2006, Address = {Washington, DC, USA}, Author = {Ong, C.-H. L.}, BookTitle = {Proc. of LICS'06}, File = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (0) (0) - a - a - g.pdf}, ISBN = {0-7695-2631-4}, Keywords = {higher-order model checking and higher-order recursion schemes}, Pages = {81--90}, Publisher = {IEEE Computer Society}, Title = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes}, URL = {http://dl.acm.org/citation.cfm?id=1157735.1158045}, Year = {2006}, acmid = {1158045}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1157735.1158045}, bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2006.38}, date-added = {2012-03-06 11:49:12 +0100}, date-modified = {2016-01-13 15:52:02 +0000}, file-2 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (1) (0) - a - a - g.pdf}, file-3 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (2) (0) - a - a - g.pdf}, file-4 = {On Model-Checking Trees Generated by Higher-Order Recursion Schemes - Ong (3) (0) - a - a - g.pdf}, numpages = {10}, doi = {10.1109/LICS.2006.38} }