著者: Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang - Journal of Automated Reasoning 2014 被引用: 596
