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