Vikent’ev A, Avilov M. New comprehensive metrics and nontrivial steps to formulas multi-valued logic in the automatic clustering of logical formulas Knowledge Base. II. M [Internet]. 2016 Sep. 30 [cited 2025 Dec. 8];3(83):46-54. Available from: https://mts.buketov.edu.kz/mathematics-vestnik/article/view/102