@InProceedings{Wenzel:MKM06-17,
  author =       "Makarius Wenzel",
  title =        "Structured Induction Proofs in {Isabelle/Isar}",
  year =         "2006",
  pages =        "17--30",
  ee =           "http://dx.doi.org/10.1007/11812289_3",
  editor =       "Jonathan M. Borwein and William M. Farmer",
  booktitle =    "Mathematical Knowledge Management, 5th International
                 Conference, {MKM} 2006, Wokingham, {UK}, August 11--12,
                 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4108",
  ISBN =         "3-540-37104-4",
}