Долгова, Т., и В. Попов. «Проблемы релевантной логики в работе в. А. Смирнова „формальный вывод и логические исчисления“.». Логические исследования, т. 4, июль 1997 г., сс. 79-93, doi:10.21146/2074-1472-1997-4-0-79-93.