%0 Conference Paper %1 conf/ijcai/CateFS11 %A ten Cate, Balder %A Franconi, Enrico %A Seylan, Inanç %B IJCAI %D 2011 %E Walsh, Toby %I IJCAI/AAAI %K dblp %P 1099-1106 %T Beth Definability in Expressive Description Logics. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#CateFS11 %@ 978-1-57735-516-8

@inproceedings{conf/ijcai/CateFS11, added-at = {2017-05-23T00:00:00.000+0200}, author = {ten Cate, Balder and Franconi, Enrico and Seylan, Inanç}, biburl = {https://www.bibsonomy.org/bibtex/25dd1aa82345aa2d5cdd925502c70c73a/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2011}, editor = {Walsh, Toby}, ee = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-188}, interhash = {cee0a3ef6d31608c4f93797d5921a986}, intrahash = {5dd1aa82345aa2d5cdd925502c70c73a}, isbn = {978-1-57735-516-8}, keywords = {dblp}, pages = {1099-1106}, publisher = {IJCAI/AAAI}, timestamp = {2019-08-21T11:46:00.000+0200}, title = {Beth Definability in Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2011.html#CateFS11}, year = 2011 }