‘A note on “Cancellativity is undecidable for automatic semigroups”’
Unpublished note, 2006.

Abstract

This note clarifies a step in the author’s published proof of the undecidability of cancellativity for automatic semigroups.