A Package for Inductive Relation Definitions in HOL
T. F. Melham
Book Title
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications‚ Davis‚ California‚ August 28–30‚ 1991
Editor
Myla Archer and Jeffrey J. Joyce and Karl N. Levitt and Phillip J. Windley
ISBN
0−8186−2460−4
Pages
350–357
Publisher
IEEE Computer Society Press
Year
1992