Roger B. Hughes Gerry Musgrave Design-Flow Graph Partitioning. 395-404 1992 conf/tphol/1992 TPHOLs db/conf/tphol/tphol92.html#HughesM92