Veronika Ortner Norbert Schirmer Verification of BDD Normalization. 261-277 2005 conf/tphol/2005 TPHOLs http://dx.doi.org/10.1007/11541868_17 db/conf/tphol/tphol2005.html#OrtnerS05