Cristina Feier等人:单子析取数据日志、MMSNP和表达描述逻辑中的可重写性。(2017) 期刊/corr/FierKL17 1701.02231 一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。 克里斯蒂娜·费尔 1 安蒂·库西斯托 2 卡斯滕·卢茨 CoRR公司 CoRR公司 abs/1701.02231 2017 dblp记录'journals/corr/FeierKL17'的RDF数据的来源信息 2018年8月13日16:48:16+0200