A. Kabidenov, A. Kasatova, M. Bekenov, and N. Markhabatov, “Model companion properties of some theories”, M, vol. 114, no. 2, pp. 114–123, Jun. 2024.