Validity checking for combinations of theories with equality. (1996)

by C W Barrett, D Dill, J Levitt
Venue:In Formal Methods in Computer-Aided Design (FMCAD’96)