Kazakov, Y., & Motik, B. (2006). A Resolution−Based Decision Procedure for SHOIQ. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Kazakov, Y., và B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Kazakov, Y., và B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.