Рыбаков, М. (2002). Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой. Логические исследования, 9, 179-201. https://doi.org/10.21146/2074-1472-2002-9-0-179-201