@Proceedings{E7,
  key =  {E07},
  title = 	 {Special Issue on Assistance Systems for Mathematics},
  booktitle = 	 {Special Issue on Assistance Systems for Mathematics},
  publisher =	 {Elsevier},
  journal =	 {Journal of Applied Logic},
  volume = 	 {4},
  number = 	 {4},
  year =	 2006,
  editor =	 {Christoph Benzm{\"u}ller},
  series =	 {Journal of Applied Logic},
}