@article{meye:thed10,
  author	=	{R. K. Meyer and M. W. Bunder},
  title	=	{The D-Completeness of T$_\to$},
  journal	=	{The Australasian Journal of Logic},
  year	=	2010,
  volume	=	8,
  pages	=	{1--8},
  URL	=	{http://www.philosophy.unimelb.edu.au/ajl/2010/},
}