Knowledge Representation and Logic Programming - Gelfond, Michael; Leone, Nicola (Artificial intelligence, 2002)