Kazakov, Y., & Motik, B. (2006). A Resolution−Based Decision Procedure for SHOIQ. Springer.
Citace podle Chicago (17th ed.)Kazakov, Y., a B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
Citace podle MLA (9th ed.)Kazakov, Y., a B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..