The Automatic Inference of Arden Medical Logic Modules | IEEE Conference Publication | IEEE Xplore