Natural Narrowing for General Term Rewriting Systems
2005 ◽
pp. 279-293
◽
1991 ◽
Vol 37
(1)
◽
pp. 9-11
◽
1998 ◽
Vol 208
(1-2)
◽
pp. 87-110
◽
2002 ◽
Vol 13
(06)
◽
pp. 873-887
Keyword(s):
1987 ◽
Vol 49
(1)
◽
pp. 43-79
◽
Keyword(s):