About Algorithm for Transformation of Logic Functions (ATLF) - Lev Cherbanski (CoRR, 2007)