The size-change principle and dependency pairs for termination of term rewriting
2005 ◽
Vol 16
(4)
◽
pp. 229-270
◽
2000 ◽
Vol 236
(1-2)
◽
pp. 133-178
◽
2010 ◽
Vol E93-D
(5)
◽
pp. 953-962
◽
2017 ◽
Vol 86
(1)
◽
pp. 236-268
◽
2013 ◽
Vol 51
(1)
◽
pp. 27-56
◽