Principles of knowledge representation - Brewka, Gerhard (CSLI Publications FoLLI, 1996)