Reasoning knowledge systems on F-rules - Thủy, Nguyễn Thanh; Hiệu, Phan Dương (Journal of Computer Science and Cybernetics, 2012)