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. II. Bulletin of the Karaganda University. Mathematics Series, [S. l.], v. 83, n. 3, p. 46–54, 2016. Disponível em: https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/102. Acesso em: 10 jul. 2025.