TY - JOUR AU - A. V. Tarasov TI - On the properties of functions representable in the form of a 2-CNF JO - Diskretnaya Matematika PY - 2001 SP - 99 EP - 115 VL - 13 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_2001_13_4_a6/ LA - ru ID - DM_2001_13_4_a6 ER -