@第{zbMATH00033279条，作者={Bijlsma，A.}，标题={用函数方法推导逻辑程序}，FJournal={信息处理信件}，日志={Inf.Process.Lett.}，ISSN={0020-0190}，体积＝{39}，数字={6}，页码={325--332}，年份={1991年}，语言={英语}，DOI={10.1016/0020-0190（91）90006-4}，关键词={68N17,68Q60}，URL={dspace.library.uu.nl/handle/1874/19386}，zbMATH={33279}，Zbl={0751.68013}}