Decision Diagrams, Check - Tracy A. Altman (Taylor and Francis, 1998)