P. D. Dieu and P. H. Giang, “Interval –valued probabilistic logic for logic programs”, JCC, vol. 10, no. 3, p. 1–13, Apr. 2016.