APA (7th ed.) Citation

Kazakov, Y., & Motik, B. (2006). A Resolution−Based Decision Procedure for SHOIQ. Springer.

Chicago Style (17th ed.) Citation

Kazakov, Y., and B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.

MLA (9th ed.) Citation

Kazakov, Y., and B. Motik. A Resolution−Based Decision Procedure for SHOIQ. Springer, 2006.

Warning: These citations may not always be 100% accurate.