@Unpublished{R12,
  key    =       {R12},
  author = 	 {Christoph Benzm{\"u}ller and Volker Sorge and John Byrnes},
  title = 	 {{OANTS} for Interactive {ATP}},
  note = 	 {Draft, AG Siekmann, Saarland University},
  year =	 1999,
  pages =        {1--5},
  chrisnote =	 {R12},
  url =		 {www.ags.uni-sb.de/~chris/papers/R12.pdf}
}