Journal of the ACM (JACM)
Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)
Decision problems for semi-Thue systems with a few rules
Theoretical Computer Science - Insightful theory
Hi-index | 0.00 |