A heuristic procedure for natural deduction derivations using reductio ad absurdum. - Michael A. Gilbert (Notre Dame J. Formal Log., 1976)

Goals in Argumentation. - Michael A. Gilbert (FAPR, 1996)

Getting Good Value. Facts, Values, and Goals in Computational Linguistics. - Michael A. Gilbert (International Conference on Computational Science (1), 2001)

The Persuasion Machine. - Michael A. Gilbert; Floriana Grasso; Leo Groarke; Corin A. Gurr; Janne M. Gerlofs (Argumentation Machines, 2004)