Information Management of Drug Drug Interactions Based on a Formal Representation | IEEE Journals & Magazine | IEEE Xplore