Unions of non-disjoint theories and combinations of satisfiability procedures (0)

by C Tinelli, C Ringeissen
Venue:Theoretical Computer Science