&: Automated Natural Deduction. - Dave Barker-Plummer; Sidney C. Bailin; Andrew S. Merrill (CADE, 1992)

The GAZER Theorem Prover. - Dave Barker-Plummer; Alex Rothenberg (CADE, 1992)

Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams. - Dave Barker-Plummer; Sidney C. Bailin (ECAI, 1992)

Gazing: An Approach to the Problem of Definition and Lemma Use. - Dave Barker-Plummer (J. Autom. Reason., 1992)

Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. - Sidney C. Bailin; Dave Barker-Plummer (J. Autom. Reason., 1993)

On the Practical Semantics of Mathematical Diagrams. - Dave Barker-Plummer; Sidney C. Bailin (Diagrammatic Representation and Reasoning, 2002)

A Sequent Based Logic for Coincidence Grids. - Dave Barker-Plummer; Nik Swoboda (VLL, 2007)

A computational architecture for heterogeneous reasoning. - Dave Barker-Plummer; John Etchemendy (J. Exp. Theor. Artif. Intell., 2007)

Openproof - A Flexible Framework for Heterogeneous Reasoning. - Dave Barker-Plummer; John Etchemendy; Albert Liu; Michael D. Murray; Nik Swoboda (Diagrams, 2008)

Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. - Richard Cox; Robert Dale; John Etchemendy; Dave Barker-Plummer (Diagrams, 2008)

Dimensions of Difficulty in Translating Natural Language into First-Order Logic. - Dave Barker-Plummer; Richard Cox; Robert Dale (EDM, 2009)

Diagrams: A Perspective from Logic. - Dave Barker-Plummer (Diagrams, 2010)

Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation Accuracy. - Dave Barker-Plummer; Robert Dale; Richard Cox (CogSci, 2011)

Student Translations of Natural Language into Logic: The Grade Grinder Translation Corpus Release 1.0. - Dave Barker-Plummer; Richard Cox; Robert Dale (EDM, 2011)

Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. - Dave Barker-Plummer; Nik Swoboda (J. Vis. Lang. Comput., 2011)

Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. - Dave Barker-Plummer; John Etchemendy; Michael D. Murray; Emma Pease; Nik Swoboda (Diagrams, 2012)

Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus. - Dave Barker-Plummer; Robert Dale; Richard Cox; Alex Romanczuk (EDM, 2012)

An Example HyperVenn Proof. - Dave Barker-Plummer; Nik Swoboda; Michael D. Murray (Diagrams, 2014)

The Barwise-Seligman Model of Representation Systems: A Philosophical Explication. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2014)

Single Feature Indicator Systems in the Openbox. - Dave Barker-Plummer; Michael D. Murray (Diagrams, 2016)

A Generic Approach to Diagrammatic Representation: The Case of Single Feature Indicator Systems. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2016)

Operations on Single Feature Indicator Systems. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2018)

Channel-Theoretic Account of the Semantic Potentials of False Diagrams. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2020)

A Formal Model of Aspect Shifting: The Case of Dot Diagrams. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2022)

A Way Diagrams Explain: Analysis Based on Consequence Matching. - Atsushi Shimojima; Dave Barker-Plummer (Diagrams, 2024)