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

by Konrad Slind
Venue:In Proceedings of TPHOLs, volume 1275 of LNCS