Deciding combinations of theories (1982)

by Robert E Shostak
Venue:In 6th Conference on Automated Deduction