A Formal Theory of Spatial Reasoning. - Stephen G. Kaufman (KR, 1991)

The Archimedes 2 mechanical assembly planning system. - Stephen G. Kaufman; Randall H. Wilson; Rondall E. Jones; Terri L. Calton; Arlo L. Ames (ICRA, 1996)

Freeform fabrication of polymer-matrix composite structures. - Stephen G. Kaufman; Barry L. Spletzer; Tommy Guess (ICRA, 1997)

Topological Characterization of Safe Coordinated Vehicle Motions. - R. James Milgram; Stephen G. Kaufman (ICRA, 2000)