Stephan Tobies-Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]-Technische Hochschule Aachen (2001).pdf
![Stephan Tobies-Complexity Results and Practical Algorithms for Logics in Knowledge Representation [PhD Thesis]-Technische Hochschule Aachen (2001).pdf](https://static.fdokument.com/doc/330x215/56d6c06b1a28ab30169a4f92/stephan-tobies-complexity-results-and-practical-algorithms-for-logics-in-knowledge.jpg)
