Logic for Programming, Artificial Intelligence, and Reasoning - Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence