A package for inductive relation de (1992)

by T F Melham
Venue:in HOL, International Workshop on the HOL Theorem Proving System and its Applications, IEEE Computer