@InProceedings{C26,
  key    =       {C26},
  author =       {Christoph Benzm{\"u}ller and Larry Paulson and Frank Theiss and Arnaud Fietzke},
  title =        {LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic},
  booktitle =    {Fourth International Joint Conference on Automated Reasoning (IJCAR'06)},
  url =          {www.ags.uni-sb.de/~chris/papers/C25.pdf},
  publisher =    {Springer},
 series = {LNAI},
  year = 2008,
  note = {To appear}
}