@第{zbMATH07377235条，作者={Stojanovi{\'c}、Tatjana和Ikodinovi{'c}、Neboj{\v{s}}a和Davidovi{'c}、塔贾纳和Ognjanovi、Zoran}，标题={System}{{\textbf}}{P}}中的自动非单调推理，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={89}，数字={5-6}，页码={471--509}，年份={2021}，语言＝{英语}，DOI={10.1007/s10472-021-09738-2}，关键词={68T37,68T27,90C59}，zbMATH={7377235}，Zbl={1496.68341}}