Shift-automorphism methods for inherently nonfinitely based varieties of algebras Kirby A. Baker; George F. McNulty; Heinrich Werner — 1989 Czechoslovak Mathematical Journal