"Principles of Logic and Logic Programming, Volume 13 (Studies in Computer Science and Artificial Intelligence)" - читать интересную книгу автора (G. Metakides, A. Nerode)