@article{Koh:95a,
  volume = 34,
  year = 1995,
  journal = {Arch. Math. Logic},
  author = {Kohlenbach, Ulrich},
  pages = {279--283},
  title = {A note on the $\Pi^0_2$-induction rule},
}