An infixed, punctuation-free notation. - Robert D. Carnes; William C. Wilcox (Notre Dame J. Formal Log., 1968)

A reduction procedure for Sheffer stroke formulas. - Robert D. Carnes (Notre Dame J. Formal Log., 1969)

Intermediate Quantifiers Versus Percentages. - Robert D. Carnes; Philip L. Peterson (Notre Dame J. Formal Log., 1991)