BibTeX唱片期刊/mics/KruglovW12
@文章{DBLP:journals/mics/KruglovW12， 作者＝｛叶夫根尼·克鲁格洛夫和 克里斯托夫·魏登巴赫（Christoph Weidenbach）， title={叠加决定一阶逻辑片断的基本理论}， journal={Math.Comput.Sci.}， 体积={6}， 数字={4}， 页数={427--456}， 年份={2012}， url={ https://doi.org/10.1007/s11786-012-0135-4 }, doi={10.1007/S11786-012-0135-4}， 时间戳＝{2020年8月12日星期三10:36:10+0200}， biburl={ https://dblp.org/rec/journals/mics/KruglovW12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
