@inproceedings{Fiedler01-ijcar,
  author	= {Fiedler, Armin},
  title		= {P.rex: An Interactive Proof Explainer},
  booktitle	= {Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR)},
  year		= {2001},
  pages		= {416--420},
  publisher	= {Springer-Verlag},
  URL		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcar-01.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcar-01.pdf},
  note		= {URL: http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcar-01.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/ijcar-01.pdf}
}