TY  - SER
AU  - Vaurio, Jussi K
TI  - A Recursive Method  for  Breaking Complex Logic Loops in Boolean System Models
KW  - Boolean Functions
KW  - Logic Design
KW  - Recursive
ER  -