%0 Conference Paper %1 Haarslev:2001 %A Haarslev, Volker %A Möller, Ralf %B Automated Reasoning: First International Joint Conference (IJCAR) 2001 %C Siena, Italy %D 2001 %E Goré, R. %E Leitsch, A. %E Nipkow, T. %I Springer-Verlag %K 2001 IJCAR description dl logic reasoning %P 701 %T RACER System Description %V 2083

@inproceedings{Haarslev:2001, added-at = {2009-04-02T11:07:42.000+0200}, address = {Siena, Italy}, author = {Haarslev, Volker and M{\"o}ller, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/259dda04bad2efe934ceb0afe3ee44421/jeenbroekstra}, booktitle = {Automated Reasoning: First International Joint Conference (IJCAR) 2001}, editor = {Gor{\'e}, R. and Leitsch, A. and Nipkow, T.}, interhash = {fd1f8755264a6f19fffdb50a927d3280}, intrahash = {59dda04bad2efe934ceb0afe3ee44421}, keywords = {2001 IJCAR description dl logic reasoning}, month = {June18-23}, pages = 701, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2009-04-02T14:48:32.000+0200}, title = {{RACER System Description}}, volume = 2083, year = 2001 }