Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
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):