N. X. Huy, Đàm G. Mạnh, V. T. T. Xuân, and K. L. Hương, “On a class of inference formulas”., JCC, vol. 17, no. 4, pp. 17–22, Aug. 2012.