Derivation and Use of Induction Schemes in Higher-Order Logic

@inproceedings{Slind1997DerivationAU,
  title={Derivation and Use of Induction Schemes in Higher-Order Logic},
  author={Konrad Slind},
  booktitle={TPHOLs},
  year={1997}
}
Highly Cited
This paper has 38 citations. REVIEW CITATIONS