Hector J. Levesque Ronald J. Brachman Expressiveness and tractability in knowledge representation and reasoning. 78-93 1987 3 Computational Intelligence db/journals/ci/ci3.html#LevesqueB87