@inproceedings{Fiedler99,
  author	= {Fiedler, Armin},
  year		= {1999},
  title		= {Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs},
  booktitle	= {16th. International Joint Conference on Artificial Intelligence (IJCAI'99)},
  pages		= {358--363},
  URL		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-99.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-99.pdf},
  note		= {URL: http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-99.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcai-99.pdf}
}