Vikent’ev, A. and Avilov, M. 2016. 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, 3 (Sep. 2016), 41–45.