@article{pase:prov10,
  author	=	{Alexander Paseau},
  title	=	{Proving Induction},
  journal	=	{The Australasian Journal of Logic},
  year	=	2011,
  volume	=	10,
  pages	=	{1-17},
  URL	=	{http://www.philosophy.unimelb.edu.au/ajl/2011/},
}