TY  - JOUR
AU  - V. P. Orevkov
TI  - A~new decidable Horn fragment of the predicate calculus
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2004
SP  - 147
EP  - 162
VL  - 316
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2004_316_a7/
LA  - ru
ID  - ZNSL_2004_316_a7
ER  -