Reasoning with Sentences and Diagrams. - Eric Hammer (Notre Dame J. Formal Log., 1994)

Symmetry as a method of proof. - Eric Hammer (J. Philos. Log., 1996)

Towards a model theory of diagrams. - Eric Hammer; Norman Danner (J. Philos. Log., 1996)