BibTeX记录期刊/lmcs/FeierKL19
@文章{DBLP:journals/lmcs/FieerKL19， author={Cristina Feier和 Antti Kuusisto和 卡斯滕·卢茨}， title={一元析取数据日志、MMSNP和表达式中的可重写性 说明逻辑}， journal={Log.Methods计算科学}， 体积={15}， 数字={2}， 年份={2019}， url={ https://doi.org/10.23638/LMCS-15 (2:15)2019}, doi={10.23638/LMCS-15（2:15）2019}， timestamp={2020年6月18日星期四22:15:48+0200}， biburl={ https://dblp.org/rec/journals/lmcs/FieerKL19.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
