(1)Anh, D. N. Knowledge Based Refinement. J. Comput. Sci. Cybern. 2016, 10, 1-10.