Deducibility and Many-Valuedness. - D. J. Shoesmith; T. J. Smiley (J. Symb. Log., 1971)

Theorem on directed graphs, applicable to logic. - D. J. Shoesmith; T. J. Smiley (J. Graph Theory, 1979)