Huy, N. X.; Mạnh, Đàm G.; Xuân, V. T. T.; Hương, K. L. On a Class of Inference Formulas. JCC 2012, 17, 17-22.