Madlaine Davis-Moradkhan Catherine Roucairol Graph Partitioning Applied to the Logic Testing of Combinational Circuits. 131-165 1995 62 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/0166-218X(94)00150-C db/journals/dam/dam62.html#Davis-MoradkhanR95