Verifying Context-dependent Reduction Relations for Knowledge Specifications

Cached

Download Links

by Alexei Sharpanskykh , Jan Treur