@article{HaarslevMoeller01-racer,
  author	= {Haarslev, Volker and M{\"o}ller, Ralf},
  title		= {RACER System Description},
  journal	= {Lecture Notes in Computer Science},
  volume	= {2083},
  pages		= {701--712},
  year		= {2001},
  URL		= {http://citeseer.nj.nec.com/haarslev01racer.html},
  urlpage	= {http://citeseer.nj.nec.com/haarslev01racer.html}
}