@第{zbMATH00030533条，作者={Frisch，Alan M.}，标题={排序演绎的替代框架：{混合推理的基本结果}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={49}，数字={1-3}，页码={161--198}，年份={1991年}，语言={英语}，DOI={10.1016/0004-3702（91）90009-9}，关键词={68T15,68T27}，zbMATH={30533}，Zbl={0736.68071}}