Author:
Publication: Artificial Intelligence
Advanced SMT techniques for weighted model integration
Belief base contraction by belief accrual