Алексеев, М. О. Об обнаружении алгебраических манипуляций с помощью операции умножения. ИУС 2014, 103-108.