The Word Problem for $(\ddot{I}‰-1)$-Terms over $\mathrm{DAb}$

Jorge Almeida, Manfred Kufleitner, Jan Philipp Wächter

We give a ranker-based description using finite-index congruences for the variety $\mathrm{DAb}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian gro…