@InProceedings{W37, key = {W37}, author = {Christoph Benzm{\"u}ller and Larry Paulson and Frank Theiss and Arnaud Fietzke}, title = {Progress Report on {LEO-II} -- An Automatic Theorem Prover for Higher-Order Logic}, booktitle = {Emerging Trends at the 20th International Conference on Theorem Proving in Higher Order Logics}, year = 2007, chrisnote = {W37}, url = {www.ags.uni-sb.de/~chris/papers/W37.pdf}, publisher = {University Kaiserslautern, Germany} }