TY  - JOUR
AU  - A. A. Markov
TI  - Normal algorithms connected with the computation of boolean functions
JO  - Izvestiya. Mathematics 
PY  - 1967
SP  - 151
EP  - 194
VL  - 1
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1967_1_1_a9/
LA  - en
ID  - IM2_1967_1_1_a9
ER  -