VIKENT’EV, A.A.; AVILOV, M.S. 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, [S. l.], v. 83, n. 3, p. 41–45, 2016. Disponível em: https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/101. Acesso em: 10 jul. 2025.