A resolution-based decision procedure for SHOIQ, in (2006)

by Y Kazakov, B Motik
Venue:Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2006