Huy, N. X., Mạnh, Đàm G., Xuân, V. T. T., & Hương, K. L. (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