@article{10_4064_cm_28_2_165_180,
     author = {A. Macintyre and H. Simmons},
     title = {G\"odel's diagonalization technique and related properties of theories},
     journal = {Colloquium Mathematicum},
     pages = {165--180},
     publisher = {mathdoc},
     volume = {28},
     number = {2},
     year = {1973},
     doi = {10.4064/cm-28-2-165-180},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/cm-28-2-165-180/}
}