Microprocessor verification using efficient decision procedures for a logic of equality with uninterpreted functions (1999)

by Randall E Bryant
Venue:In International Conference on Analytic Tableaux and Related Methods. Springer Verlag LNAI 1617