Undecidability of the completeness problem of modal logic S. Thomason (1982) Banach Center Publications
Undecidable varieties with solvable word problems. III (a semigroup variety). Crvenković, Siniša, Dolinka, Igor (1998) Novi Sad Journal of Mathematics