@inproceedings{Okada:1989:SNC:74540.74582,
    Address = {New York, NY, USA},
    Author = {Okada, M.},
    BookTitle = {Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation},
    File = {Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system - Okada (0) (0) - a - a - z.pdf},
    ISBN = {0-89791-325-6},
    Keywords = {lambda calculus and term rewriting systems},
    Location = {Portland, Oregon, United States},
    Pages = {357--363},
    Publisher = {ACM},
    Series = {ISSAC '89},
    Title = {Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system},
    URL = {http://doi.acm.org/10.1145/74540.74582},
    Year = {1989},
    acmid = {74582},
    bdsk-url-1 = {http://doi.acm.org/10.1145/74540.74582},
    bdsk-url-2 = {http://dx.doi.org/10.1145/74540.74582},
    date-added = {2012-10-26 09:28:15 +0000},
    date-modified = {2012-10-26 09:28:42 +0000},
    numpages = {7},
    doi = {10.1145/74540.74582}
}

@inproceedings{Okada:1989:SNC:74540.74582, Address = {New York, NY, USA}, Author = {Okada, M.}, BookTitle = {Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation}, File = {Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system - Okada (0) (0) - a - a - z.pdf}, ISBN = {0-89791-325-6}, Keywords = {lambda calculus and term rewriting systems}, Location = {Portland, Oregon, United States}, Pages = {357--363}, Publisher = {ACM}, Series = {ISSAC '89}, Title = {Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system}, URL = {http://doi.acm.org/10.1145/74540.74582}, Year = {1989}, acmid = {74582}, bdsk-url-1 = {http://doi.acm.org/10.1145/74540.74582}, bdsk-url-2 = {http://dx.doi.org/10.1145/74540.74582}, date-added = {2012-10-26 09:28:15 +0000}, date-modified = {2012-10-26 09:28:42 +0000}, numpages = {7}, doi = {10.1145/74540.74582} }