@第{zbMATH06804637条，作者={Banbara、Mutsunori和Kaufmann、Benjamin和Ostrowski、Max和Schaub、Torsten}，标题={\emph{clincon}：下一代}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={17}，数字={4}，页码={408--461}，年份={2017年}，语言={英语}，DOI={10.1017/S1471068417000138}，关键词={68N17,68T20}，zbMATH={6804637}，Zbl={1379.68040}}