Zhang, X. Fuzzy Knowledge Inference: Quickly Estimate Evidence via Formula Embedding. Comput. Inform. 2020, 38, 1403–1417.