@TechReport{R7,
  key    =       {R07},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {An Adaptation of Paramodulation and RUE-Resolution to Higher-Order Logic},
  institution =  {Department of Computer Science, Saarland University},
  type =         {SEKI Report (ISSN 1437-4447)},
  number =       {SR-98-07},
  year = 	 1998,
  pages =        {1--55},  
  chrisnote =	 {R7},
  url =		 {www.ags.uni-sb.de/~chris/papers/R7.pdf}
}