TY  - JOUR
AU  - E. A. Palyutin
TI  - Elimination of quantifiers in Horn theories with a small
JO  - Algebra i logika
PY  - 1991
SP  - 513
EP  - 516
VL  - 30
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_1991_30_5_a0/
LA  - ru
ID  - AL_1991_30_5_a0
ER  -