伯恩德·芬克贝纳 克里斯托弗·哈恩 贾娜·霍夫曼 Leander Tentrup公司 实现Omega规则超属性。 2021 abs/2101.07161 CoRR公司 https://arxiv.org/abs/2101.07161 db/journals/corr/corr2101.html#abs-2101-07161