Undecidable varieties with solvable word problems. II. Crvenković, S.; Dolinka, I. — 1996 Novi Sad Journal of Mathematics