Giedra H.; Sakalauskaitė J. Sequent calculus for logic of correlated knowledge. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 243–248, 15 Dec. 2011.