Formal derivation of rule-based programs
1993 ◽
Vol 19
(3)
◽
pp. 277-296
◽
1992 ◽
Vol 23
(1)
◽
pp. 52-60
◽
Keyword(s):
2014 ◽
Vol 61
(1)
◽
pp. 12-22
◽
Keyword(s):