| 2009 | ||
|---|---|---|
| 2 | Felix Schernhammer, Bernhard Gramlich: VMTL-A Modular Termination Laboratory. RTA 2009: 285-294 | |
| 2008 | ||
| 1 | Felix Schernhammer, Bernhard Gramlich: Termination of Lazy Rewriting Revisited. Electr. Notes Theor. Comput. Sci. 204: 35-51 (2008) | |
| 1 | Bernhard Gramlich | [1] [2] |