Deciding combinations of theories. (1984)

by R E Shostak
Venue:Journal of the ACM,