A. Vikent’ev and M. Avilov, “New comprehensive metrics and nontrivial steps to formulas multi-valued logic in the automatic clustering of logical formulas Knowledge Base. II”, M, vol. 83, no. 3, pp. 46–54, Sep. 2016.