1. IDES: Influence diagram based expert system;Agogino;Math. Modelling,1987
2. MUNIN: A causal probabilistic network for interpretation of electromyographic findings;Andreassen,1987
3. KNET: Integrating hypermedia and normative Bayesian modeling;Chavez,1988
4. Bayesian belief network inference using simulation;Chin,1989
5. The complexity of theorem-proving procedures;Cook,1971