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. I. M 2016, 83, 41-45.