H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence journal, (3):78--93,1987. [BibSonomy: expressiveness complexity] URL