Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
The online version of the original article can be found at: http://dx.doi.org/10.1007/s10817-007-9090-1.
Rights and permissions
About this article
Cite this article
Kazakov, Y., Motik, B. A Resolution-Based Decision Procedure for \(\boldsymbol{\mathcal{SHOIQ}}\) . J Autom Reasoning 40, 357 (2008). https://doi.org/10.1007/s10817-008-9100-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-008-9100-y