Vikent’ev, A. and Avilov, M. (2016) “New comprehensive metrics and nontrivial steps to formulas multi-valued logic in the automatic clustering of logical formulas Knowledge Base. I”, Bulletin of the Karaganda University. Mathematics Series, 3(83), pp. 41–45. Available at: https://mts.buketov.edu.kz/mathematics-vestnik/article/view/101 (Accessed: 8 December 2025).