Logic for programming, artificial intelligence, and reasoningRobert NieuwenhuisAusverkauft4,3Bewachen