A total, ground path ordering for proving termination of AC-rewrite systems
2009 ◽
Vol 20
(01)
◽
pp. 57-82
1995 ◽
Vol 14
(2)
◽
pp. 293-316
◽
2005 ◽
Vol 150
(3)
◽
pp. 401-417
◽
2021 ◽
Keyword(s):
Keyword(s):