Expressiveness and tractability in knowledge representation and reasoning (1987)

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