@misc{9965,
  author = {Olav Lysne},
  title = {Towards Mechanizing Proofs by Structural Induction},
  year = {1992},
  journal = {Proceedings from NIK{\textquoteright}92: Norsk Informatikk Konferanse},
  pages = {243-255},
  publisher = {TAPIR,},
}