@TechReport{R6,
  key    =       {R06},
  author =	 {Christoph Benzm{\"u}ller and Michael Kohlhase},
  title =	 {Henkin Completeness of Higher-Order Resolution},
  institution =	 {Department of Computer Science, Saarland University},
  type =	 {SEKI Report (ISSN 1437-4447)},
  number =	 {SR-97-10},
  year =	 1997,
  pages =        {1--12},
  chrisnote =	 {R6},
  url =		 {www.ags.uni-sb.de/~chris/papers/R6.pdf}
}