| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276 |
| 2007 | ||
| 1 | EE | Michel Ludwig, Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR 2007: 348-362 |
| 1 | Ullrich Hustadt | [2] |
| 2 | Uwe Waldmann | [1] |