The word problem for a family of one relation Adian inverse semigroups

Abstract

The word problem for an Adian inverse semigroup given by the presentation $Inv⟨a,b|a=b{a}^{n}b⟩$, where $n\ge 1$, is decidable.