Knowledge Representation and Reasoning (2004)

by R J Brachman, H J Levesque