A Package for Inductive Relation Definitions in HOL. - Melham, Thomas F. (1991)