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. II”. Bulletin of the Karaganda University. Mathematics Series, vol. 83, no. 3, Sept. 2016, pp. 46-54, https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/102.