TY - JOUR AU - D. M. Smirnov TI - Interpretability Types for Regular Varieties of Algebras JO - Algebra i logika PY - 2004 SP - 229 EP - 234 VL - 43 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2004_43_2_a6/ LA - ru ID - AL_2004_43_2_a6 ER -