Някои сведения за Джон А. Робинсън и за възникването на метода на резолюцията могат да се намерят в раздела "Formal logic and automated theorem proof" на обзора на Доналд Маккензи "The Automation of Proof: A Historical and Sociological Exploration" (там обаче няма информация за по-нататъшната научна дейност на Робинсън). Във връзка с дейността му в доста по-ново време ще отбележим, че той е един от редакторите на многотомния "Handbook of Logic in Artificial Intelligence and Logic Programming", първият от томовете на който е издаден през 1993 г. Налице са и сведения, че през 1997 г. Робинсън, по това време вече емеритиран професор на Сиракузкия университет в САЩ, е бил поканен докладчик на една конференция, проведена във Франция, и на Гьоделовия колоквиум, проведен във Виена.

Последно изменение: 16.05.2000 г.