Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1973_212_3_a7, author = {V. E. Plisko}, title = {Realizable predicate formulae}, journal = {Doklady Akademii Nauk}, pages = {553--556}, publisher = {mathdoc}, volume = {212}, number = {3}, year = {1973}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1973_212_3_a7/} }
V. E. Plisko. Realizable predicate formulae. Doklady Akademii Nauk, Tome 212 (1973) no. 3, pp. 553-556. http://geodesic.mathdoc.fr/item/DAN_1973_212_3_a7/