Бурлуцкий В. В. Реализация обратного метода для модальной логики КТ / В. В. Бурлуцкий, В. Б. Новосельцев // Исследования по математическому анализу и алгебре. Вып. 3 : сборник статей. Томск, 2001. Вып. 3. С. 33-38