@inproceedings{Fiedler01-ijcai,
  author	= {Fiedler, Armin},
  title		= {Dialog-driven Adaptation to Explanations of Proofs},
  booktitle	= {Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI)},
  pages		= {1296--1300},
  address	= {Seattle, WA},
  publisher	= {Morgan Kaufmann},
  year		= {2001},
  URL		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-01.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-01.pdf}
}