@InProceedings{W36,
  key    =       {W36},
  author =	 {Christoph Benzm{\"u}ller and Larry Paulson and Frank Theiss and Arnaud Fietzke},
  title =	 {The {LEO-II} Project},
  booktitle =	 {Proceedings of the Fourteenth Workshop on Automated Reasoning, Bridging the
                  Gap between Theory and Practice},
  year =	 2007,
  chrisnote =	 {W36},
  url =		 {www.ags.uni-sb.de/~chris/papers/W36.pdf},
  publisher =	 {Imperial College, London, England}
}