@inproceedings{racer,
	title = {Description of the {RACER} System and its Applications},
	author = {Volker Haarslev and Ralf Moller},
	booktitle = {Proceedings of the 2001 International Workshop on Description Logics (DL-2001)},
	editor = {D. L. McGuinness et al},
	publisher = {CEUR Workshop Proceedings},
	url = {citeseer.ist.psu.edu/article/haarslev01description.html},
	year = {2001},
	biburl = {http://www.bibsonomy.org/bibtex/22a5b2d5f5fc153811ac1c10c50902f5d/hotho},
	location = {Madrid},
	keywords = {application dl racer }
}