Тулупьев,, Абрамян,: Логико-вероятностный вывод в направленном БСД-цикле. Труды СПИИРАН(4), 87-118 (2007). doi:10.15622/sp.4.5