| Original language | English |
|---|---|
| Title of host publication | Term Rewriting Systems |
| Editors | Terese |
| Place of Publication | Cambridge |
| Publisher | Cambridge University Press |
| Pages | 588-667 |
| Publication status | Published - 2003 |
Higher-Order Rewriting
Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review