TY - JOUR AU - L. A. Bokut' TI - Unsolvability of the equality problem and subalgebras of finitely presented Lie algebras JO - Izvestiya. Mathematics PY - 1972 SP - 1153 EP - 1199 VL - 6 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IM2_1972_6_6_a0/ LA - en ID - IM2_1972_6_6_a0 ER -