Huy, Nguyễn Xuân, Đàm Gia Mạnh, Vũ Thị Thanh Xuân, and Kim Lan Hương. 2012. “On a Class of Inference Formulas”. Journal of Computer Science and Cybernetics 17 (4):17-22. https://doi.org/10.15625/1813-9663/17/4/2287.