Giedra H., & Sakalauskaitė J. (2011). Sequent calculus for logic of correlated knowledge. Lietuvos Matematikos Rinkinys, 52(proc. LMS), 243–248. https://doi.org/10.15388/LMR.2011.ml04