Deciding combinations of theories (1982)

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