Jerry R. Burch Edmund M. Clarke David E. Long Kenneth L. McMillan David L. Dill 401-424 1994 13 IEEE Trans. on CAD of Integrated Circuits and Systems 4 http://doi.ieeecomputersociety.org/10.1109/43.275352 db/journals/tcad/tcad13.html#BurchCLMD94