S. Khakimova, “Study and classification of provers”, conf, vol. 1, no. 01, pp. 642–646, Jun. 2024.