(1)Huy, N. X.; Mạnh, Đàm G.; Xuân, V. T. T.; Hương, K. L. On a Class of Inference Formulas. <i>J. Comput. Sci. Cybern.</i> <b>2012</b>, <i>17</i>, 17-22.