Why Programming Environments Need Dynamic Data Types. - James W. Goodwin (IEEE Trans. Software Eng., 1981)

WATSON: A Dependency Directed Inference System. - James W. Goodwin (NMR, 1984)

A Process Theory of Non-monotonic Inference. - James W. Goodwin (IJCAI, 1985)

Uncertainty and Incompleteness: Breaking the Symmetry of Defeasible Reasoning. - Piero P. Bonissone; David A. Cyrluk; James W. Goodwin; Jonathan Stillman (UAI, 1989)

Uncertainty and Incompleteness - Piero P. Bonissone; David A. Cyrluk; James W. Goodwin; Jonathan Stillman (CoRR, 2013)