J. Alan Robinson

cons(2, nil)}作为其唯一解。 合一算法首先由雅克·埃尔布朗 ( 发现，而第一个正式研究可归因于John Alan Robinson（英语：John Alan Robinson） ，他使用一阶句法合一作为基本构建块他对一阶逻辑的归结过程的研究是自动推理技术的一大进步，因为它消除了组合爆炸（英语：Combinatorial

Journal. [29 July 2010].  B. Alan Wallace, Contemplative Science. Columbia University Press, 2007, pages 97-98. Catherine Robinson, Interpretations of the

1007/s11172-006-0194-2 （英语）.  Michel O. Albers, David C. Liles, David J. Robinson, Alan. Shaver, Eric. Singleton, Manfred B. Wiege, Jan C. A. Boeyens, Demetrius

Alan Ball speaks with OUTTAKEs Charlotte Robinson. （原始内容存档于2010-02-02）. a strong voice for [the] LGBT community.  艾倫·鮑爾在互联网电影资料库（IMDb）上的資料（英文） Alan Ball

（英文）Andy Robinson. Review Alan Wake Review. Computer and Video Games. 2010-05-05 [2010-05-07]. （原始内容存档于2010-05-07）.  （英文）Ellie Gibson. Eurogamer : Alan Wake