Babík, M. and Hluchý, L. 2012. Optimizing Description Logic Reasoning for the Service Matchmaking and Composition. COMPUTING AND INFORMATICS. 27, 4 (Jan. 2012), 661–679.