Khôi, L. H. Algorithms for Finding Closure of the Facts SCL and Removing Redundant Redundant Rules of the Rules Set in the Rule-Based System of the Expert System. JCC 2013, 16, 79-85.