Verification Using Uninterpreted Functions and Finite Instantiations.

Ramin Hojati Adrian J. Isles Desmond Kirkpatrick Robert K. Brayton Verification Using Uninterpreted Functions and Finite Instantiations. 218-232 1996 conf/fmcad/1996 FMCAD db/conf/fmcad/fmcad1996.html#HojatiIKB96