Expressiveness and tractability in knowledge representation (1987)

by H J Levesque, R J Brachman
Venue:Computational Intelligence