Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. - Macha Nikolskaïa; Antoine Rauzy; David James Sherman (FMCAD, 1998)

Bypassing BDD construction for reliability analysis. - Poul Frederick Williams; Macha Nikolskaïa; Antoine Rauzy (Inf. Process. Lett., 2000)

Size of OBDD representation of 2-level redundancies functions. - Macha Nikolskaïa; L. Nikolskaia (Theor. Comput. Sci., 2001)