@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,}, }