@文章{zbMATH00590154，作者={B{\“u}rckert，Hans-J{\”u}rgen}，标题={约束逻辑的解析原则}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={66}，数字={2}，页码={235--271}，年份={1994}，语言={英语}，DOI={10.1016/0004-3702（94）90027-2}，关键词={68T27}，zbMATH={590154}，Zbl=｛0807.68082｝}