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”. <i>Journal of Computer Science and Cybernetics</i> 17, no. 4 (August 1, 2012): 17–22. Accessed November 4, 2025. https://jcc.vast.vn/jcc/article/view/2287.