A broader class of trees for recursive type de for HOL (1993)

by E L Gunter
Venue:Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications, volume 780 of LNCS