A Package for Inductive Relation Definitions in HOL

Thomas F. Melham. A Package for Inductive Relation Definitions in HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 350-357, IEEE Computer Society, 1991.