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