A Package for Inductive Relation Definitions in HOL (Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications‚ Davis‚ California‚ August 28–30‚ 1991, 1992)

(untitled) - Melham, T