Vikent’ev, A.A., and M.S. Avilov. “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 83, no. 3 (September 30, 2016): 41–45. Accessed July 10, 2025. https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/101.