1. Brzozowski, J.A., Luba, T. (1997). Decomposition of Boolean Functions Specified by Cubes. Research report CS-97-01, University of Waterloo, Canada, p. 36.
2. LUT Cascade-Based Architectures for High Productivity Embedded Systems;Dvořák;International Review on Computers and Software,2007
3. Advanced BDD Optimization;Ebendt,2005
4. MikuŜek, P., Dvořák, V. ( 2008). On Lookup Table Cascade-Based Realizations of Arbiters. Proc. of the 11th EUROMICRO Conference on Digital System Design DSD 2008, Parma, IT, IEEE CS, pp. 795-802.
5. BDD representation for incompletely specified multiple-output logic functions and its applications to functional decomposition;Sasao;Design Automation Conference,2005