Bibitem:


@inproceedings{Bobillo14a,
Author = {Fernando Bobillo and Umberto Straccia},
Booktitle = {Proceedings of the 27th International Workshop on Description Logics (DL-14)},
Pages = {378--390},
Publisher = {CEUR-WS.org},
Series = {CEUR Workshop Proceedings},
Title = {A MILP-based decision procedure for the (Fuzzy) Description Logic $\mathcall{ALCB}$},
Url = {http://ceur-ws.org/Vol-1193/paper_18.pdf},
Volume = {1193},
Year = {2014}}