Complexity results and practical algorithms for logics in Knowledge Representation
From Tetherless World Wiki
\begin{bibtex} @PHDTHESIS{tobies2001,
AUTHOR = {Stephan Tobies},
TITLE = {Complexity results and practical algorithms for logics in Knowledge Representation},
SCHOOL = {LuFG Theoretical Computer Science, RWTH-Aachen, Germany},
YEAR = {2001},
type = {PhD Thesis},
pdf = {http://lat.inf.tu-dresden.de/research/phd/Tobies-PhD-2001.pdf}
} \end{bibtex}
