Descendants and origins in term rewriting

Authors	I. Bethke J.W. Klop R. de Vrijer
Publication date	2000
Journal	Information and Computation
Volume | Issue number	159 | 1-2
Pages (from-to)	59-124
Number of pages	66
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Published at	https://doi.org/10.1006/inco.2000.2876
Permalink to this page