Verifying Context-dependent Reduction Relations for Knowledge Specifications
by
Alexei Sharpanskykh
,
Jan Treur







