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.