A fast pattern matching algorithm derived by transformational and assertional reasoning
Keyword(s):
1995 ◽
Vol 09
(02)
◽
pp. 411-419
Keyword(s):
2017 ◽
Vol 80
◽
pp. 162-170
◽