## 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 |

Citations: | 28 - 2 self |