Logic of knowledge bases - Levesque H J (London London, MIT, 2000)
Keywords: Management