克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 一元析取数据日志、MMSNP和表达描述逻辑（邀请谈话）中的可重写性。 1:1-1:17 2017 ICDT公司 https://doi.org/10.4230/LIPIcs.ICDT.2017.1 conf/icdt/2017年 db/conf/icdt/icdt2017.html#FeierKL17