@article{Rice,
    Author = {Rice, H. G.},
    File = {Classes of recursively enumerable sets and their decision problems - Rice (0) (0) - a - a - z.pdf},
    Journal = {Trans. Amer. Math. Soc.},
    Pages = {358--366},
    Title = {Classes of recursively enumerable sets and their decision problems},
    Volume = {74},
    Year = {1953},
    bdsk-url-1 = {http://www.ams.org/journals/tran/1953-074-02/S0002-9947-1953-0053041-6/},
    bdsk-url-2 = {http://dx.doi.org/10.1090/S0002-9947-1953-0053041-6},
    date-added = {2014-01-21 18:37:44 +0000},
    date-modified = {2014-01-21 18:38:34 +0000},
    doi = {10.1090/S0002-9947-1953-0053041-6}
}

@article{Rice, Author = {Rice, H. G.}, File = {Classes of recursively enumerable sets and their decision problems - Rice (0) (0) - a - a - z.pdf}, Journal = {Trans. Amer. Math. Soc.}, Pages = {358--366}, Title = {Classes of recursively enumerable sets and their decision problems}, Volume = {74}, Year = {1953}, bdsk-url-1 = {http://www.ams.org/journals/tran/1953-074-02/S0002-9947-1953-0053041-6/}, bdsk-url-2 = {http://dx.doi.org/10.1090/S0002-9947-1953-0053041-6}, date-added = {2014-01-21 18:37:44 +0000}, date-modified = {2014-01-21 18:38:34 +0000}, doi = {10.1090/S0002-9947-1953-0053041-6} }