Conditional Term Graph Rewriting with Indirect Sharing
2007 ◽
Vol 72
(1)
◽
pp. 87-100
1997 ◽
pp. 144-158
2001 ◽
Vol 262
(1-2)
◽
pp. 311-331
◽
2007 ◽
Vol 72
(1)
◽
pp. 31-44
◽
Keyword(s):
2017 ◽
Vol 33
◽
pp. 502-515
◽
1995 ◽
Vol 2
◽
pp. 36-45
◽
Keyword(s):