Khôi, Lê Hải. 2013. “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”. Journal of Computer Science and Cybernetics 16 (4):79-85. https://doi.org/10.15625/1813-9663/16/4/2926.