Unpublished notes

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