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. II”, Bulletin of the Karaganda University. Mathematics Series, 83(3), pp. 46–54. Available at: http://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/102 (Accessed: 7 September 2025).