A HOL package for reasoning about relations defined by mutual induction (1993)

by R E O Roxas
Venue:Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications (HUG'93), volume 780 of Lecture Notes in Computer Science