Report copyright - New Consequence-Based Reasoning for Description Logics with … · 2020. 9. 18. · 1996), E (Schulz, 2002), and Vampire (Riazanov & Voronkov, 2002). Our calculus runs in exponential
Please pass captcha verification before submit form
Please pass captcha verification before submit form