@TechReport{R4,
  key    =       {R04},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {A Calculus and a System Architecture for Extensional Higher-Order Resolution},
  institution =  {Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, USA},
  type =         {Research Report},
  number =       {97-198},
  year = 	 1997, 
  pages =        {1--28}, 
  chrisnote =	 {R4},
  url =		 {www.ags.uni-sb.de/~chris/papers/R4.pdf}
}