@article{DA_2013_20_3_a5,
     author = {V. S. Fedorova},
     title = {On the complexity of the satisfiability problem for a~system of functional {Boolean} equations},
     journal = {Diskretnyj analiz i issledovanie operacij},
     pages = {84--100},
     publisher = {mathdoc},
     volume = {20},
     number = {3},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DA_2013_20_3_a5/}
}