Implementing conditional term rewriting by graph rewriting
2001 ◽
Vol 262
(1-2)
◽
pp. 311-331
◽
1988 ◽
pp. 212-227
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 464
◽
pp. 72-89
◽
Keyword(s):
1993 ◽
Vol 104
(1)
◽
pp. 110-158
◽
Keyword(s):