%0 Conference Paper %1 furbachguentherobermaierFLAIRS09 %A Furbach, Ulrich %A Günther, Heiko %A Obermaier, Claudia %B Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA %D 2009 %E Lane, H. Chad %E Guesgen, Hans W. %I AAAI Press %K myown schon west.uni-koblenz.de %T A Knowledge Compilation Technique for ALC TBoxes

@inproceedings{furbachguentherobermaierFLAIRS09, added-at = {2016-10-07T08:44:52.000+0200}, author = {Furbach, Ulrich and G{\"u}nther, Heiko and Obermaier, Claudia}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/282c1c3f5dcbcb0ae03099aad06b049cf/cschon}, booktitle = {Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, {USA}}, date-modified = {2015-12-22 20:19:36 +0000}, editor = {Lane, H. Chad and Guesgen, Hans W.}, interhash = {49871f9c3b97b82ca28d876fc28a6bbc}, intrahash = {82c1c3f5dcbcb0ae03099aad06b049cf}, keywords = {myown schon west.uni-koblenz.de}, publisher = {{AAAI} Press}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {A Knowledge Compilation Technique for ALC TBoxes}, year = 2009 }