Expressiveness and tractability in knowledge representation and reasoning

Levesque, H. J., Brachman, R. J.

Classics 

Computational Intelligence, 3 (2), 78-93.