BEATNP: a tool for partitioning Boolean networks. - Hyunwoo Cho; Gary D. Hachtel; M. Nash; L. Setiono (ICCAD, 1988)