[1]
Giedra H. and Sakalauskaitė J., “Sequent calculus for logic of correlated knowledge”, LMR, vol. 52, no. proc. LMS, pp. 243–248, Dec. 2011.