Bekenov, M.I., et al. “Criterion for a Formula-Definable Quasivariety”. Bulletin of the Karaganda University. Mathematics Series, vol. 121, no. 1, Mar. 2026, pp. 103-9, doi:10.31489/2026m1/103-109.