@article{1093891908,
author = {Kohn, Robert V.},
title = {Generalization of a result of Halld\'en.},
journal = {Notre Dame J. Formal Logic},
volume = {16},
number = {1},
year = {1975},
pages = { 605-606},
language = {en},
url = {http://dml.mathdoc.fr/item/1093891908}
}
Kohn, Robert V. Generalization of a result of Halldén.. Notre Dame J. Formal Logic, Tome 16 (1975) no. 1, pp. 605-606. http://gdmltest.u-ga.fr/item/1093891908/