A Package for Inductive Relation Definitions in HOL (1992)

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