Authors: Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang - Journal of Automated Reasoning 2014 cited by 596
