Zhang, Xiao. “Fuzzy Knowledge Inference: Quickly Estimate Evidence via Formula Embedding”. COMPUTING AND INFORMATICS, vol. 38, no. 6, Feb. 2020, pp. 1403–1417, doi:10.31577/cai_2019_6_1403.