| |
| 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 | EE | Duncan Shand, Simon Brock: Proofs as graphs. Electr. Notes Theor. Comput. Sci. 2: (1995) |
| 1 | Simon Brock | [1] |
| 2 | Steve Linton | [2] [3] |
| 3 | Ursula Martin | [3] [4] |
| 4 | Péter Pröhle | [3] |