Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, 1705, page 161--180. Springer-Verlag, (1999)
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, 1705, page 161--180. Springer-Verlag, (1999)
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, 1705, page 161--180. Springer-Verlag, (1999)
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR'99, 1705, page 161--180. Springer-Verlag, (1999)