Jerry R. Burch Edmund M. Clarke David E. Long Symbolic Model Checking with Partitioned Transistion Relations. 49-58 1991 VLSI db/conf/vlsi/vlsi1991.html#BurchCL91