APA引文

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

芝加哥风格引文

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

MLA引文

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

警告：这些引文格式不一定是100％准确.