Derivation and use of induction schemes in higher-order logic (1997)

by Konrad Slind
Venue:In TPHOLs ’97: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics