Ivan Kholod, Andrey Shorov, Evgenii Titkov, Sergei Gorlatch: A formally based parallelization of data mining algorithms for multi-core systems. J. Supercomput. 75(12): 7909-7920 (2019)