Vikent’ev, A.; Avilov, M. New Comprehensive Metrics and Nontrivial Steps to Formulas Multi-Valued Logic in the Automatic Clustering of Logical Formulas Knowledge Base. I. M 2016, 83, 41-45.