| |
| 2006 | ||
|---|---|---|
| 2 | EE | Roland Carl Backhouse, Diethard Michaelis: Exercises in Quantifier Manipulation. MPC 2006: 69-81 |
| 2003 | ||
| 1 | EE | Roland Carl Backhouse, Diethard Michaelis: Fixed-Point Characterisation of Winning Strategies in Impartial Games. RelMiCS 2003: 34-47 |
| 1 | Roland Carl Backhouse | [1] [2] |