Hierarchical Representations of Discrete Functions, with Application to Model Checking.

Kenneth L. McMillan Hierarchical Representations of Discrete Functions, with Application to Model Checking. 41-54 1994 conf/cav/1994 CAV db/conf/cav/cav94.html#McMillan94 http://dx.doi.org/10.1007/3-540-58179-0_42