1. Abeles F.F.: Lewis Carroll’s method of trees: its origins in studies in logic. Modern Logic 1, 25–34 (1991)
2. Abeles F.F.: Herbrand’s fundamental theorem and the beginning of logic programming. Modern Logic 4, 63–73 (1994)
3. Abeles, F.F.: The first unification algorithm for automated deductive systems. In: Cameron, D.E., Wine, J.D. (eds.) Proceedings of the Midwest Mathematics History Conferences, vol. 1, Proceedings of the Fourth Midwest Conference on the History of Mathematics. Miami University, Oxford, pp. 125–127. Modern Logic Publishing, MLP Books, Ames (1997)
4. Abeles F.F.: From the tree method in modern logic to the beginning of automated theorem proving. In: Shell-Gellasch, A., Jardine, D. (eds) From Calculus to Computers: Using 200 Years of Mathematics History in the Teaching of Mathematics. Mathematical Association of America, Washington, D.C., pp. 149–160 (2006)
5. Abeles F.F.: Lewis Carroll’s visual logic. Hist. Philos. Logic 28, 1–17 (2007)