Validity Checking for Combinations of Theories with Equality.

Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Browse the full FMCAD paper archive.