An Algorithm for Synthesis of Multiple-Output Combinational LogicPeter R. SchneiderDonald L. Dietmeyer1968IEEE TC
Identification of Symmetry, Redundancy and Equivalence of Boolean FunctionsDonald L. DietmeyerPeter R. Schneider1967IEEE Transactions on Electronic Computers
Aids for Logic Design Algorithm DevelopmentDonald L. DietmeyerP.R. Schneider1967IEEE Transactions on Education