@inproceedings{185514,
    Author = {Dowek, G.},
    BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on},
    File = {Third order matching is decidable - Dowek (0) (0) - a - a - q.pdf},
    Keywords = {higher-order matching},
    Month = {jun},
    Pages = {2 -10},
    Title = {Third order matching is decidable},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185514},
    date-added = {2013-02-19 17:16:53 +0000},
    date-modified = {2013-02-19 17:17:24 +0000},
    file-2 = {Third order matching is decidable - Dowek (1) (0) - a - a - q.pdf},
    doi = {10.1109/LICS.1992.185514}
}

@inproceedings{185514, Author = {Dowek, G.}, BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on}, File = {Third order matching is decidable - Dowek (0) (0) - a - a - q.pdf}, Keywords = {higher-order matching}, Month = {jun}, Pages = {2 -10}, Title = {Third order matching is decidable}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185514}, date-added = {2013-02-19 17:16:53 +0000}, date-modified = {2013-02-19 17:17:24 +0000}, file-2 = {Third order matching is decidable - Dowek (1) (0) - a - a - q.pdf}, doi = {10.1109/LICS.1992.185514} }