@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/