TY  - JOUR
AU  - O. A. Dolotova
TI  - Minimal verifying tests of functions from the Post classes
JO  - Diskretnaya Matematika
PY  - 1993
SP  - 75
EP  - 82
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DM_1993_5_2_a4/
LA  - ru
ID  - DM_1993_5_2_a4
ER  -