%0 Journal Article %A S. S. Kolyada %T Identity checking tests for circuits of functional elements in fan-in~2 bases %J Diskretnyj analiz i issledovanie operacij %D 2013 %P 58-74 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/DA_2013_20_2_a4/ %G ru %F DA_2013_20_2_a4