Cited By
View all- Hustadt UPapacchini FNalon CDixon C(2024)Model Construction for Modal ClausesAutomated Reasoning10.1007/978-3-031-63501-4_1(3-23)Online publication date: 2-Jul-2024
- Li JWu XLu CDeng WZhao Y(2021)Computing Views of OWL Ontologies for the Semantic WebProceedings of the Web Conference 202110.1145/3442381.3449881(2624-2635)Online publication date: 19-Apr-2021
- Baumgartner PSchmidt R(2019)Blocking and Other Enhancements for Bottom-Up Model Generation MethodsJournal of Automated Reasoning10.1007/s10817-019-09515-1Online publication date: 1-Mar-2019
- Show More Cited By