A parallel implementation of a belief maintenance system | IEEE Conference Publication | IEEE Xplore