@misc{indiciae0b45268bd486,
  title = {Separation of congruence intervals and implications},
  author = {Andrei A. Bulatov},
  year = {2025},
  url = {https://arxiv.org/abs/2007.07237},
  note = {Source identifier: 2007.07237}
}