@InProceedings{HaMo00a,
  author = 	 {V. Haarslev and R. M{\"o}ller},
  title = 	 {Consistency Testing: The RACE Experience},
  booktitle = {Proc. of TABLEAUX'2000, International Conference, Automated Reasoning with Analytic Tableaux and Related Methods, St. Andrews, Scotland, UK, July 3-7},
  pages = 	 {57--61},
  year = 	 {2000},
  editor = 	 {Roy Dyckhoff},
  publisher = {Springer-Verlag},
}