@第{zbMATH07155005条，作者={克里格尔，弗朗西斯科}，标题={描述逻辑中最具体的结果{{\（\mathcal{E}\mathcal{L}\）}}}，FJournal={离散应用数学}，日志={离散应用数学}，ISSN={0166-218X}，体积={273}，页码={172--204}，年份={2020年}，语言={英语}，DOI={10.1016/j.dam.2019.01.029}，关键词={68T27,68T05,68T30}，zbMATH＝{7155005}，Zbl={1430.68310}}