TY  - JOUR
AU  - S. S. Kolyada
TI  - Identity checking tests for circuits of functional elements in fan-in~2 bases
JO  - Diskretnyj analiz i issledovanie operacij
PY  - 2013
SP  - 58
EP  - 74
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DA_2013_20_2_a4/
LA  - ru
ID  - DA_2013_20_2_a4
ER  -