| |
| 2007 | ||
|---|---|---|
| 2 | EE | Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl: Implementing RPO and POLO using SAT. Deduction and Decision Procedures 2007 |
| 1 | EE | Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl: Proving Termination Using Recursive Path Orders and SAT Solving. FroCos 2007: 267-282 |
| 1 | Michael Codish | [1] [2] |
| 2 | Carsten Fuhs | [2] |
| 3 | Jürgen Giesl | [1] [2] |
| 4 | Aart Middeldorp | [2] |
| 5 | Peter Schneider-Kamp | [1] [2] |
| 6 | René Thiemann | [1] [2] |
| 7 | Harald Zankl | [2] |