Proof of the correctness of EMYCIN sequential propagation under conditional independence assumptions | IEEE Journals & Magazine | IEEE Xplore