TY  - RPRT
TI  - A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
AU  - Guram Bezhanishvili
AU  - David Gabelaia
AU  - Mamuka Jibladze
PY  - 2021
UR  - https://arxiv.org/abs/2104.05961
ID  - 2104.05961
ER  -