@article{MSC:9631220,
    Author = {UNNO, HIROSHI and TABUCHI, NAOSHI and KOBAYASHI, NAOKI},
    File = {Verification of tree-processing programs via higher-order model checking - UNNO, TABUCHI, KOBAYASHI (0) (0) - a - a - h.pdf},
    ISSN = {1469-8072},
    Issue = {Special Issue 04},
    Journal = {Mathematical Structures in Computer Science},
    Month = {5},
    Pages = {841--866},
    Title = {Verification of tree-processing programs via higher-order model checking},
    URL = {http://journals.cambridge.org/article\_S0960129513000054},
    Volume = {25},
    Year = {2015},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129513000054},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129513000054},
    date-added = {2016-01-12 10:41:25 +0000},
    date-modified = {2016-01-12 10:41:47 +0000},
    numpages = {26},
    doi = {10.1017/S0960129513000054}
}

@article{MSC:9631220, Author = {UNNO, HIROSHI and TABUCHI, NAOSHI and KOBAYASHI, NAOKI}, File = {Verification of tree-processing programs via higher-order model checking - UNNO, TABUCHI, KOBAYASHI (0) (0) - a - a - h.pdf}, ISSN = {1469-8072}, Issue = {Special Issue 04}, Journal = {Mathematical Structures in Computer Science}, Month = {5}, Pages = {841--866}, Title = {Verification of tree-processing programs via higher-order model checking}, URL = {http://journals.cambridge.org/article_S0960129513000054}, Volume = {25}, Year = {2015}, bdsk-url-1 = {http://journals.cambridge.org/article_S0960129513000054}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129513000054}, date-added = {2016-01-12 10:41:25 +0000}, date-modified = {2016-01-12 10:41:47 +0000}, numpages = {26}, doi = {10.1017/S0960129513000054} }