Expressiveness and tractability in knowledge representation and reasoning

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

–Classics 

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