On a class of inference formulas. - Huy, Nguyễn Xuân; Mạnh, Đàm Gia; Xuân, Vũ Thị Thanh; Hương, Kim Lan (Journal of Computer Science and Cybernetics, 2012)
-