提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/lmcs/FeierKL19澳大利亚-菲尔，克里斯蒂娜AU-库西斯托，安蒂AU-卢茨，卡斯滕TI-一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。JO-日志。方法计算。科学。VL-15IS-22019年上半年//DO-10.23638/LMCS-15（2:15）2019年UR-（欧元）https://doi.org/10.23638/LMCS-15(2:15)2019急诊室-