@phdthesis{Fiedler01-phd,
  author	= {Fiedler, Armin},
  title		= {User-adaptive proof explanation},
  school	= {Naturwissenschaftlich-Technische Fakult{\"a}t I, Universit{\"a}t des Saarlandes},
  year		= {2001},
  address	= {Saarbr{\"u}cken, Germany},
  URL		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/diss.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/diss.pdf},
  note		= {URL: http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/diss.pdf},
  pdf		= {http://www.ags.uni-sb.de/$~$afiedler/pubs/papers/diss.pdf}
}