Book

Handbook of knowledge representation

by Vladimir Lifschitz, Bruce Porter