@article{1183741625,
author = {Compton, Kevin J.},
title = {An Undecidable Problem in Finite Combinatorics},
journal = {J. Symbolic Logic},
volume = {49},
number = {1},
year = {1984},
pages = { 842-850},
language = {en},
url = {http://dml.mathdoc.fr/item/1183741625}
}
Compton, Kevin J. An Undecidable Problem in Finite Combinatorics. J. Symbolic Logic, Tome 49 (1984) no. 1, pp. 842-850. http://gdmltest.u-ga.fr/item/1183741625/