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