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), pp. 17–22. doi: 10.15625/1813-9663/17/4/2287.