@Article{J11,
  key =		 {J11},
  author =	 {Mark Buckley and Christoph Benzm{\"u}ller},
  title =	 {System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs},
  journal =	 {Electronic Notes in Theoretical Computer Science},
 year = 2005,
  note =     {This article was formally accepted for the UITP'05 post-proceedings in ENTCS; this volume did still not appear though.},
}