@article{10_4153_CJM_1975_043_4,
     author = {Hay, Louise},
     title = {Rice {Theorems} {For} {D.R.E.} {Sets}},
     journal = {Canadian journal of mathematics},
     pages = {352--365},
     year = {1975},
     volume = {27},
     number = {2},
     doi = {10.4153/CJM-1975-043-4},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1975-043-4/}
}