张晨东,陈火旺,王兵山,等.推理树概率逻辑公式集有效赋值列数计算[J].国防科技大学学报,1997,19(5):35-39.
Zhang Chendong, Chen Huowang, Wang Bingshan, et al. Calculation the Number of Valid Assignments of the Formula Set in Probabilistic Logic[J]. Journal of National University of Defense Technology,1997,19(5):35-39.