[1]N. X. Huy, Đàm G. Mạnh, V. T. T. Xuân, and K. L. Hương, “On a class of inference formulas”., <i>J. Comput. Sci. Cybern.</i>, vol. 17, no. 4, pp. 17–22, Aug. 2012.