Expressiveness and Tractability in Knowledge Representation and Reasoning

Levesque and Brachman's 1987 paper showing that reasoning gets dramatically harder as a representation language gets more expressive, and that this trade-off underlies the differences between existing representation formalisms.