Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation (0)

by D-K TRAN, C RINGEISSEN, S RANISE, H KIRCHNER
Venue:in "Journal of Symbolic Computation", Feb 2010