@InProceedings{W29,
  key    =       {W29},
  author = 	 {Mark Buckley and Christoph Benzm{\"u}ller},
  title = 	 {System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs},
  booktitle = 	 {Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP)},
  year =	 2005,
  pages =        {40-67},
  address =	 {Edinburgh, Scotland},
  chrisnote =	 {W29},
  abstract =	 {},
  url =		 {},
}