Чагров А. Алгоритмическая проблема финитарного семантического следования пропозициональных формул I: контекст и постановка задачи // Логические исследования / Logical Investigations. 2007. Т. 13. C. 215-247.