Proofs as graphs. - Duncan Shand; Simon Brock (SEGRAGRA, 1995)

Algebra and Automated Deduction. - Steve Linton; Ursula Martin; Péter Pröhle; Duncan Shand (CADE, 1996)

Some Group Theoretic Examples with Completion Theorem Provers. - Steve Linton; Duncan Shand (J. Autom. Reason., 1996)

Invariants, Patterns and Weights for Ordering Terms. - Ursula Martin; Duncan Shand (J. Symb. Comput., 2000)