1. Ashenhurst, R.L. (1957). The Decomposition od switching functions, Proceedings of an International Symposium on the Theory of Switching, 1957
2. Input-Driven Partitioning Methods and Application to Synthesis on Table-Lookup-based FPGAs;Abouzeid;IEEE Trans on CAD,1993
3. Shared multi-terminal binary decision diagrams for multiple-output functions;Babu;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Science,1998
4. Berkeley Logic Synthesis Group: ABC: A System for Sequential Synthesis and Verification, Dec. 2005 Available: http://www.eecs.berkeley.edu/~alanmi/abc
5. Graph Based Algorithms for Boolean Function Manipulation;Bryant;IEEE Transactions on Computers,1986