X. Zhang, “Fuzzy Knowledge Inference: Quickly Estimate Evidence via Formula Embedding”, Comput. Inform., vol. 38, no. 6, pp. 1403–1417, Feb. 2020.