Language problems posed by heavily structured data. - Robert F. Barnes (Commun. ACM, 1962)

The Completeness of Presupposition-Free Tense Logic. - Robert F. Barnes; Raymond D. Gumb (Math. Log. Q., 1979)

Interval temporal logic: A note. - Robert F. Barnes (J. Philos. Log., 1981)