Sakalauskaitė, J. (2003) “Prefixed tableaux for multi-modal logic of knowledge with inclusions”, Lietuvos matematikos rinkinys, 43(spec.), pp. 449–453. doi:10.15388/LMR.2003.32506.