@InProceedings{C29,
  key =		 {C29},
  author    = {Geoff Sutcliffe and
               Christoph Benzm{\"u}ller and
               Chad Brown and
               Frank Theiss},
  title     = {Progress in the Development of Automated Theorem
                  Proving for Higher-order Logic},
  editor =	 {Renate Schmidt},
  booktitle =	 {Automated Deduction - CADE-22, 22nd International Conference
               on Automated Deduction, Montreal, Canada, August 2-7, 2009.
               Proceedings},
  url =		 {www.ags.uni-sb.de/~chris/papers/C29.pdf},
  publisher =	 {Springer},
  series =	 {LNCS},
  volume = 5663,
  pages = {116-130},
  year =	 2009,
 isbn      = {978-3-642-02958-5},
}