![](/img/cover-not-exists.png)
Descendants and Origins in Term Rewriting
Inge Bethke, Jan Willem Klop, Roel de VrijerVolume:
159
Year:
2000
Language:
english
Pages:
66
DOI:
10.1006/inco.2000.2876
File:
PDF, 1.75 MB
english, 2000