Gerald E. Peterson
-
Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)