A Syntactic Abstraction for Rule-Based Languages with Binding
2011 ◽
Vol 277
◽
pp. 53-64
1992 ◽
Vol 23
(1)
◽
pp. 52-60
◽
Keyword(s):
2014 ◽
Vol 61
(1)
◽
pp. 12-22
◽
Keyword(s):