Kazakov, Y., & Motik, B. (2006). A Resolution−Based Decision Procedure for SHOIQ. Springer.
Chicago-viite (17. p.)Kazakov, Y., ja B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
MLA-viite (9. p.)Kazakov, Y., ja B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.