菲利普·加德纳 约翰·谢泼德森 逻辑程序的展开/折叠转换。 565-583 1991 conf/生日/1991罗宾逊 计算逻辑-纪念艾伦·罗宾逊的论文 db/conf/生日/robinson91.html#GardnerS91