Linearizing Term Rewriting Systems Using Test Sets

Dieter Hofbauer, Maria Huber. Linearizing Term Rewriting Systems Using Test Sets. Journal of Symbolic Computation, 17(1):91-129, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.