Применение синтаксически ориентированного управления обработкой данных в логических системах - Федорченко (Труды СПИИРАН, 2006)