М. Рыбаков, «Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой.», ЛИ, т. 9, сс. 179-201, окт. 2002.