Complexity Results and Practical Algorithms for Logics in Knowledge Representation- PhD Thesis

Stephan Tobies