Huy, N. X. (2012) “On a class of inference formulas”., <i>Journal of Computer Science and Cybernetics</i>, 17(4), pp. 17–22. doi: 10.15625/1813-9663/17/4/2287.