A simplification method for AND-EXOR expressions for multiple-output functionsNorio KodaTsutomu Sasao1996Systems and Computers in Japan