Разрешимость элементарных теорий решеток подполугрупп. Б. Баясгалан (1990) Sibirskij matematiceskij zurnal