arXiv 2001-06-13 EN Complexity Results and Practical Algorithms for Logics in Knowledge Representation Tobies, Stephan
