Huy, Nguyễn Xuân, Đàm Gia Mạnh, Vũ Thị Thanh Xuân, and Kim Lan Hương. “On a Class of Inference Formulas”. Journal of Computer Science and Cybernetics 17, no. 4 (August 1, 2012): 17–22. Accessed May 3, 2024. https://vjs.ac.vn/index.php/jcc/article/view/2287.