| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 9th International Workshop on Termination (WST 2007) |
| Pages | 17-21 |
| Publication status | Published - 2007 |
Root Stabilisation Using Dependency Pairs
J. Endrullis, J. Ketema
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review