Vikent’ev, A., & Avilov, M. (2016). 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, 83(3), 46–54. Retrieved from https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/102