Complexity Results and Practical Algorithms for Logics in Knowledge Representation - Dissertation

Stephan Tobies