Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DM_1992_4_1_a11, author = {S. S. Marchenkov}, title = {On completeness in the system $P_3\times P_3$}, journal = {Diskretnaya Matematika}, pages = {126--145}, publisher = {mathdoc}, volume = {4}, number = {1}, year = {1992}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DM_1992_4_1_a11/} }
S. S. Marchenkov. On completeness in the system $P_3\times P_3$. Diskretnaya Matematika, Tome 4 (1992) no. 1, pp. 126-145. http://geodesic.mathdoc.fr/item/DM_1992_4_1_a11/