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.

Authors

Dieter Hofbauer

This author has not been identified. Look up 'Dieter Hofbauer' in Google

Maria Huber

This author has not been identified. Look up 'Maria Huber' in Google