Verifying Context-Dependent Reduction Relations for Knowledge Specifications
Keyword(s):
2010 ◽
Vol 57
(6)
◽
pp. 455-461
◽
Keyword(s):