Proof Reuse with Extended Inductive Types

@inproceedings{Boite2004ProofRW,
  title={Proof Reuse with Extended Inductive Types},
  author={Olivier Boite},
  booktitle={TPHOLs},
  year={2004}
}