Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems

Takahito Aoto. Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems. Journal of Functional and Logic Programming, 2001(11), 2001.

Abstract

Abstract is missing.