A package for inductive relation definitions in HOL. InM.Archer,J.J.Joyce,K.N.LevittandP.J.Windley, editors (1991)

by Thomas F Melham
Venue:Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications