Keyword:theory combination

Publications
Combining Combination Properties: Minimal Models Guilherme V. Toledo and Yoni Zohar In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Conflict-Driven Reasoning Maria Paola Bonacina In:Automated Formal Methods