@article{10_4153_CJM_1982_033_6,
     author = {Burris, Stanley and Lawrence, John},
     title = {Two {Undecidability} {Results} using {Modified} {Boolean} {Powers}},
     journal = {Canadian journal of mathematics},
     pages = {500--505},
     year = {1982},
     volume = {34},
     number = {2},
     doi = {10.4153/CJM-1982-033-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1982-033-6/}
}