"Automated Deduction -- CADE-23 " - читать интересную книгу автора (Nikolaj Bjørner, Viorica Sofronie-Stokkermans)