Tarski's Finite Basis Problem is Undecidable

@article{McKenzie1996TarskisFB,
  title={Tarski's Finite Basis Problem is Undecidable},
  author={Ralph McKenzie},
  journal={IJAC},
  year={1996},
  volume={6},
  pages={49-104}
}