Sim, P.C (2003) Manipulation of boolean functions based on decision diagrams. Masters thesis, Universiti Malaysia Sarawak.