Voir la notice de l'article provenant de la source Math-Net.Ru
@article{AL_1984_23_1_a0, author = {G. P. Gavrilov}, title = {Inductive representations of {Boolean} functions and finite generation of {Post} classes}, journal = {Algebra i logika}, pages = {3--26}, publisher = {mathdoc}, volume = {23}, number = {1}, year = {1984}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/AL_1984_23_1_a0/} }
G. P. Gavrilov. Inductive representations of Boolean functions and finite generation of Post classes. Algebra i logika, Tome 23 (1984) no. 1, pp. 3-26. http://geodesic.mathdoc.fr/item/AL_1984_23_1_a0/