"Automated Reasoning, 4 conf., IJCAR 2008" - читать интересную книгу автора (Alessandro Armando, Peter Baumgartner, Gilles Dowek)