TITLE : A MILP-based decision procedure for the (Fuzzy) Description Logic $ALCB$ AUTHOR(S) : Bobillo F, Straccia U TYPE : Conference article YEAR : 2014 CODE : 282390 *** DO NOT EDIT THIS FILE ***