%0 Conference Paper %1 furbach:obermaierLPARshort %A Furbach, Ulrich %A Obermaier, Claudia %B 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings %D 2007 %E Dershowitz, Nachum %E Voronkov, Andrei %K myown schon west.uni-koblenz.de %T Knowledge Compilation for Description Logics

@inproceedings{furbach:obermaierLPARshort, added-at = {2016-10-07T08:46:10.000+0200}, author = {Furbach, Ulrich and Obermaier, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/2e76a44a8427c54bd023d3175525076ba/cschon}, booktitle = {14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings}, date-added = {2012-07-07 20:10:15 +0200}, date-modified = {2012-07-07 20:10:15 +0200}, editor = {Dershowitz, Nachum and Voronkov, Andrei}, interhash = {ba88b01f1eb6581279d2a904119b0678}, intrahash = {e76a44a8427c54bd023d3175525076ba}, keywords = {myown schon west.uni-koblenz.de}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Knowledge Compilation for Description Logics}, year = 2007 }