Logic for Programming, Artificial Intelligence, and Reasoning (2010, Taschenbuch)