%0 Book %1 horrocks99 %A Horrocks, Ian %B Proceedings of the International Workshop on %D 1999 %K logic classification description %P 133--135 %T FaCT and iFaCT %U http://www.cs.toronto.edu/~nernst/papers/horrocks-fact.ps

@book{horrocks99, added-at = {2006-09-09T19:18:08.000+0200}, author = {Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/264c0189724c59c4f97eeca7c5e9d2004/neilernst}, citeulike-article-id = {121862}, description = {sdasda}, interhash = {678882a569e953abcf20f7c6af7aebc5}, intrahash = {64c0189724c59c4f97eeca7c5e9d2004}, keywords = {logic classification description}, pages = {133--135}, priority = {1}, series = {Proceedings of the International Workshop on }, timestamp = {2006-09-09T19:18:08.000+0200}, title = {Fa{CT} and i{F}a{CT}}, url = {http://www.cs.toronto.edu/~nernst/papers/horrocks-fact.ps}, year = 1999 }