TY - JOUR AU - S. S. Marchenkov TI - Boolean reducibility JO - Diskretnaya Matematika PY - 2003 SP - 40 EP - 53 VL - 15 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_2003_15_3_a1/ LA - ru ID - DM_2003_15_3_a1 ER -