TY  - RPRT
TI  - Automated proof search system for logic of correlated knowledge
AU  - Haroldas Giedra
AU  - Romas Alonderis
PY  - 2019
UR  - https://arxiv.org/abs/1902.08847
ID  - 1902.08847
ER  -