Duncan Shand

	2000
4		Ursula Martin, Duncan Shand: Invariants, Patterns and Weights for Ordering Terms. J. Symb. Comput. 29(6): 921-957 (2000)
	1996
3		Steve Linton, Ursula Martin, Péter Pröhle, Duncan Shand: Algebra and Automated Deduction. CADE 1996: 448-462
2		Steve Linton, Duncan Shand: Some Group Theoretic Examples with Completion Theorem Provers. J. Autom. Reasoning 17(2): 145-169 (1996)
	1995
1		Duncan Shand, Simon Brock: Proofs as graphs. Electr. Notes Theor. Comput. Sci. 2: (1995)

Coauthor Index

1	Simon Brock	[1]
2	Steve Linton	[2] [3]
3	Ursula Martin	[3] [4]
4	Péter Pröhle	[3]

Colors in the list of coauthors