Rajiv Gupta Eduard Mehofer Youtao Zhang A Representation for Bit Section Based Analysis and Optimization. 62-77 2002 conf/cc/2002 CC http://link.springer.de/link/service/series/0558/bibs/2304/23040062.htm db/conf/cc/cc2002.html#GuptaMZ02