@misc{indiciaecdb5d698861a,
  title = {Proofs of definability of some varieties and sets of varieties of semigroups},
  author = {B. M. Vernikov},
  year = {2010},
  url = {https://arxiv.org/abs/1009.1239},
  note = {Source identifier: 1009.1239}
}