For those interested in the history of computing: the article mentions that the algorithm
"seems to have been discovered independently multiple times over the years". Interestingly, it also seems to have been discovered by Max Newman [1]
, who, at some point, was Alan Turing's supervisor. See [2, 3].
[1] M. H. Newman, Stratified Systems Of Logic. https://www.classes.cs.uchicago.edu/archive/2007/spring/3200...
[2] J. R. Hindley, M. H. Newmans Typability Algorithm for Lambda-Calculus.
[3] H. Geuvers, Newmans Typability Algorithm. https://www.cs.ru.nl/~herman/computing2011.pdf