Kazakov, Y., & Motik, B. (2006). A Resolution−Based Decision Procedure for SHOIQ. Springer.
芝加哥风格引文Kazakov, Y., 与 B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
MLA引文Kazakov, Y., 与 B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
警告：这些引文格式不一定是100％准确.