"Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Catuscia Palamidessi)