A Package For Inductive Relation Definitions In HOL | IEEE Conference Publication | IEEE Xplore