A reflective language based on conditional term rewriting
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):