"Logic, Language, Information and Computation, 14 conf., WoLLIC 2007" - читать интересную книгу автора (Daniel Leivant, Ruy de Queiroz)