C. Leonard Berman: Circuit width, register allocation, and ordered binary decision diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(8): 1059-1066 (1991)