TY  - JOUR
AU  - P. V. Yudaev
TI  - Comparison of two algorithms for simplifying disjunctive normal forms
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2002
SP  - 269
EP  - 272
VL  - 42
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2002_42_2_a10/
LA  - ru
ID  - ZVMMF_2002_42_2_a10
ER  -