Huy, N. X., Đàm G. Mạnh, V. T. T. Xuân, and K. L. Hương. “On a Class of Inference Formulas”. Journal of Computer Science and Cybernetics, vol. 17, no. 4, Aug. 2012, pp. 17-22, doi:10.15625/1813-9663/17/4/2287.