Thủy, N. T.; Hiệu, P. D. Reasoning Knowledge Systems on F-Rules. JCC 2012, 17, 54-61.