A data parallel implementation of an intelligent reasoning system | IEEE Conference Publication | IEEE Xplore