Semiring identities of finite inverse semigroups (Q6042622)

I cite the authors' abstract, which contains the important information about this (naturally quite technical) paper: ``We study the Finite Basis Problem for finite additively idempotent (ai) semirings whose multiplicative reducts are inverse semigroups. In particular, we show that each additively idempotent semiring whose multiplicative reduct is a nontrivial rook monoid admits no finite identity basis, and so do almost all additively idempotent semirings whose multiplicative reducts are combinatorial inverse semigroups.'' The paper answers among others the following question: Which finite naturally semilattice-ordered inverse semigroups are finitely based, in either of the signatures \(\{+,\cdot\}\) or \(\{+, \cdot, 0\}\)?