Vinicius Callegaro, Felipe S. Marranghello, Mayler G. A. Martins, Renato P. Ribas, André Inácio Reis: Bottom-up disjoint-support decomposition based on cofactor and boolean difference analysis. ICCD 2015: 680-687