On Shostak's Decision Procedure for Combinations of Theories.

David Cyrluk, Patrick Lincoln, Natarajan Shankar

Browse the full CADE paper archive.