| Original language | English |
|---|---|
| Place of Publication | Nijmegen, The Netherlands |
| Publisher | Computing Science Institute, KU Nijmegen |
| Commissioning body | Unknown commissioning body |
| Publication status | Published - 1999 |
Publication series
| Name | CSI |
|---|---|
| No. | R9921 |
Descendants and origins in term rewriting.
I. Bethke, J.W. Klop, R.C. de Vrijer
Research output: Book / Report › Report › Academic