Тулупьев,; Абрамян,. Логико-вероятностный вывод в направленном БСД-цикле. ТС 2007, 87-118.