Racer system description. (2001)

by V Haarslev, R Moller
Venue:International Joint Conference on Automated Reasoning, IJCAR’2001, June 18-23,