TY - JOUR AU - Yu. I. Zhuravlev TI - Local algorithms over disjunctive normal forms JO - Doklady Akademii Nauk PY - 1979 SP - 289 EP - 292 VL - 245 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1979_245_2_a2/ LA - ru ID - DAN_1979_245_2_a2 ER -