Sakalauskaitė, J. (2003). Prefixed tableaux for multi-modal logic of knowledge with inclusions. Lietuvos Matematikos Rinkinys, 43(spec.), 449–453. https://doi.org/10.15388/LMR.2003.32506