@TECHREPORT{R17,
  key    =       {R17},
  AUTHOR =	 {Christoph Benzm{\"u}ller},
  TITLE =	 {{A remark on higher order RUE-resolution with EXTRUE}},
  INSTITUTION =	 {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Saarbr{\"u}cken,
                  Germany},
  YEAR =	 2002,
  pages =        {1--5},
  TYPE =	 {SEKI Report (ISSN 1437-4447)},
  NUMBER =	 {SR-02-05},
  ABSTRACT =	 {We show that a prominent counterexample for the completeness of first
                  order RUE-resolution does not apply to the higher order RUE-resolution
                  approach EXTRUE.},
  url =		 {www.ags.uni-sb.de/~chris/papers/R17.pdf},
  note = {arXiv:0901.3608}
}