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.
No references recorded for this publication.
No citations of this publication recorded.