@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} }