Natarajan Sridhar Rajiv Agrawal Gary L. Kinzel Active occurrence-matrix-based approach to design decomposition. 500-512 1993 25 Comput. Aided Des. 8 https://doi.org/10.1016/0010-4485(93)90081-X db/journals/cad/cad25.html#SridharAK93