A set of design guidelines for object-oriented deductive systems | IEEE Journals & Magazine | IEEE Xplore