Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems (2000)

by Keiichirou Kusakari
Venue:Ph.D. thesis, JAIST
Citations:5 - 0 self