APA ציטוט

Kazakov, Y., & Motik, B. (2008). A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1).

Chicago Style (17th ed.) Citation

Kazakov, Y., and B. Motik. A Resolution-based Decision Procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1). 2008.

ציטוט MLA

Kazakov, Y., and B. Motik. A Resolution-based Decision Procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1). 2008.