Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..