Huy, N.X., Mạnh, Đàm G., Xuân, V.T.T. and Hương, K.L. 2012. On a class of inference formulas. Journal of Computer Science and Cybernetics. 17, 4 (Aug. 2012), 17–22. DOI:https://doi.org/10.15625/1813-9663/17/4/2287.