Uthmani, Omair, Buchanan, William J, Fan, Lu, Lawson, Alistair, "Evaluation of binary decision diagrams for redundancy, shadowing, generalisation and correlation in an Information sharing model.", ,