@InProceedings{W14,
  key    =       {W14},
  author =	 {Christoph Benzm{\"u}ller and Andreas Meier and Volker Sorge},
  title =	 {Distributed Assertion Retrieval},
  booktitle =	 {First International Workshop on Mathematical Knowledge Management
                  RISC-Linz},
  year =	 2001,
  pages =        {1--7},
  chrisnote =	 {W14},
  url =		 {www.ags.uni-sb.de/~chris/papers/W14.pdf},
  address =	 {Schloss Hagenberg},
  abstract =	 {},
}