"Logic for Programming, Artificial Intelligence, and Reasoning" - читать интересную книгу автора (Edmund M. Clarke, Andrei Voronkov)