Automated reasoning in ALCQ via SMT (2011)

by V Haarslev, R Sebastiani, M Vescovi
Venue:In Proc. 23rd Int. Conf. on Automated Deduction (CADE’11