Evolutionary-Fragmentary Algorithm of Finding the Minimal Axiom Set - E. V. Krivtsun (Control Systems and Computers, 2016)