An elementary completeness proof for a system of natural deduction. - David W. Bennett (Notre Dame J. Formal Log., 1973)

A note on the completeness proof for natural deduction. - David W. Bennett (Notre Dame J. Formal Log., 1977)

Junctions. - David W. Bennett (Notre Dame J. Formal Log., 1980)

Micro Manipulator Motion Control to Suppress Macro Manipulator Structural Vibrations. - Jae Y. Lew; Dan J. Trudnowski; Mark S. Evans; David W. Bennett (ICRA, 1995)