Khôi, Lê Hải. “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”. <i>Journal of Computer Science and Cybernetics</i> 16, no. 4 (April 15, 2013): 79–85. Accessed November 5, 2025. https://jcc.vast.vn/jcc/article/view/2926.