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]

Abstract

Abstract is missing.