Publication Overview

Joachim Niehren and Manfred Pinkal and Peter Ruhrberg

On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting

Published in: CADE
Year: 1997
Pages: 34-48