Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. - Karl Menger; Martin Schultz (Notre Dame J. Formal Log., 1963)

On the origin of the n-arc theorem. - Karl Menger (J. Graph Theory, 1981)