RACER system description (2001)

by Volker Haarslev, Ralf Möller