Cited By
View all- Bonacina MFontaine PRingeissen CTinelli C(2019)Theory Combination: Beyond Equality SharingDescription Logic, Theory Combination, and All That10.1007/978-3-030-22102-7_3(57-89)Online publication date: 1-Jun-2019
- Bonacina M(2018)Parallel Theorem ProvingHandbook of Parallel Constraint Reasoning10.1007/978-3-319-63516-3_6(179-235)Online publication date: 6-Apr-2018
- Bonacina MPlaisted D(2016)Semantically-Guided Goal-Sensitive ReasoningJournal of Automated Reasoning10.1007/s10817-015-9334-456:2(113-141)Online publication date: 1-Feb-2016
- Show More Cited By