Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1970_190_1_a4, author = {M. I. Kanovich}, title = {The complexity of the enumeration and solvability of predicates}, journal = {Doklady Akademii Nauk}, pages = {23--26}, publisher = {mathdoc}, volume = {190}, number = {1}, year = {1970}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1970_190_1_a4/} }
M. I. Kanovich. The complexity of the enumeration and solvability of predicates. Doklady Akademii Nauk, Tome 190 (1970) no. 1, pp. 23-26. http://geodesic.mathdoc.fr/item/DAN_1970_190_1_a4/