"Logic for Programming, Artificial Intelligence, and Reasoning, 14 conf., LPAR 2007" - читать интересную книгу автора (Nachum Dershowitz, Andrei Voronkov)