@misc{indiciae561a49b25dc9,
  title = {A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras},
  author = {Guram Bezhanishvili and David Gabelaia and Mamuka Jibladze},
  year = {2021},
  url = {https://arxiv.org/abs/2104.05961},
  note = {Source identifier: 2104.05961}
}