Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
We give an example of a finitely generated commutative semigroup that is not automatic.