Đoàn V. Ban, Đàm G. Mạnh, N. T. Dũng, and N. X. Huy, “On the relation between dependence inference and logic inference”., JCC, vol. 17, no. 4, pp. 11–16, Aug. 2012.