M. Bekenov, A. Mamyraly, A. Kassatova, and A. Kabidenov, “Criterion for a formula-definable quasivariety”, M, vol. 121, no. 1, pp. 103–109, Mar. 2026.