Giedra Haroldas, and Sakalauskaitė Jūratė. “Sequent Calculus for Logic of Correlated Knowledge”. Lietuvos matematikos rinkinys 52, no. proc. LMS (December 15, 2011): 243–248. Accessed August 18, 2022. https://www.journals.vu.lt/LMR/article/view/15439.