Knowledge representation and reasoning - Brachman, Ronald J., (Morgan Kaufmann,)