@InProceedings{W9,
  key    =       {W09},
  author =	 {Christoph Benzm{\"u}ller and Andreas Meier and Martin Pollet and Volker
                  Sorge},
  title =	 {Proof transformation and expansion with a parameterisable inference
                  machine.},
  booktitle =	 {Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the
                  Gap between Theory and Practice},
  year =	 2001,
  pages =        {1--2},
  chrisnote =	 {W9},
  url =		 {www.ags.uni-sb.de/~chris/papers/W9.pdf},
  publisher =	 {University of York}
}