Логико-вероятностный вывод в направленном БСД-цикле - Тулупьев; Абрамян (Труды СПИИРАН, 2007)