Замечание о группе Борисова–Буна

Доказано, что группа Борисова–Буна является группой со стандартным базисом и что проблема равенства в ней тьюрингово (и даже таблично) эквивалентна специальной проблеме равенства в исходной полугруппе, по которой строится эта группа.
Библиогр. 9.