Unification, rewriting, and narrowing on term graphs

Annegret Habel, Detlef Plump. Unification, rewriting, and narrowing on term graphs. Electronic Notes in Theoretical Computer Science, 2:110-117, 1995. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.