Authors: Yavor Nenov, Robert Piro, Boris Motik, Ian Horrocks, Zhe Wu, Jay Banerjee - Lecture notes in computer science 2015 cited by 183
