@Article{J13,
  key =		 {J13},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {Editorial: Towards Computer Aided Mathematics},
  journal =	 {Journal of Applied Logic},
  volume = 	 {4},
  number = 	 {4},
  pages = 	 {359-365},
  year =	 2006,
  note =   {doi:10.1016/j.jal.2005.10.001},
}